search

slatex / sTeX

A semantic Extension of TeX/LaTeX
49 stars 9 forks source link

Problem with extstructure #370

Closed kohlhase closed 1 year ago

kohlhase commented 1 year ago

I do not see what I do wrong: In smglom/logic/source/mod/abduction.en.tex I get lots of errors wrt. entailment-struture, but a simple test file with 

\begin{smodule}{test}
  \importmodule{mod?entailment}
  \usestruture{entailment-system}
  We fix a \symname{logical-system} $\defeq\cL{\mathstructure{\flang,\modcls,\satrel!,\entails!}}$
\end{smodule}

works without problems.

Jazzpirate commented 1 year ago

I don't see where \Lsys is supposed to come from? I see that logical-system.en.tex declares a variable \lsys (different capitalization), but variables are of course not exported...