search

slatex / sTeX-IDE

GNU General Public License v3.0
0 stars 0 forks source link

linter does not seem to pick up on structure symbols #14

Open kohlhase opened 2 years ago

kohlhase commented 2 years ago

In smglom/algebra/source/mod/monoid-homomorphism.en.tex I get

Screenshot 2022-09-24 at 04 01 04

But unital.en.tex has 

\begin{extstructure}{unital}{left-unital,right-unital}
\symdef{unit}[type=\bset]{\comp e}