wysiib / language-tla-pluscal

MIT License

3 stars 1 forks source link

\subseteq is not highlighted #2

Closed nullmax closed 6 years ago

nullmax commented 6 years ago

For example

wysiib commented 6 years ago

fixed in new release, thankt for reporting!