This repository was archived by the owner on Oct 16, 2025. It is now read-only.
This repository was archived by the owner on Oct 16, 2025. It is now read-only.
\models and and \not\models do not work yet. #17
Metadata
Metadata
Assignees
Labels
No labels
In https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU
we get
this probably needs a systematic patch