1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
\def\mathhub{../../../} \documentclass[debug]{stex} \begin{document} \begin{smodule}{Circular2} \symdef{fooB}{\beta} \importmodule[Foo/Bar]{circular1?Circular1} \symdecl{fooAb}[def=\fooA] \notation{fooAb}{\alpha'} $\fooA$ \end{smodule} \end{document}