Grafcet.Online

"ugly": "\\in", not replaced correctly by "pretty": "∃" ?

1

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