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

[grafcetonline]

For .tla file I want to substite "\in" by "∈"

TypeOK == color \in {"red", "green", "yellow"}

So in settings I specify

{ "pre": "", "ugly": "\\in", "post": "", "pretty": "∈" },

As result I get

TypeOK == color \∈ {"red", "green", "yellow"}

instead of

TypeOK == color ∈ {"red", "green", "yellow"}

[pancaek]

Backslashes are parsed twice, once by json to parse user settings, and again by regex to pattern match. { "pre": "", "ugly": "\\\\in", "post": "", "pretty": "∈" }, should give the intended result.