search

slatex / RusTeX

A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
22 stars 0 forks source link

\models and and \not\models do not work yet. #17

Open kohlhase opened 5 months ago

kohlhase commented 5 months ago

In https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU we get

Screenshot 2024-02-05 at 17 15 16

this probably needs a systematic patch