Grafcet.Online
Results
1
issues of
Grafcet.Online
For .tla file I want to substite "\in" by "∈" `TypeOK == color \in {"red", "green", "yellow"}` So in settings I specify ` { "pre": "", "ugly": "\\in", "post": "",...