Re: \{ in mathed

[Dekel Tsur]

> We need to figure out
> - how \$, \{, {, \#, # etc should be typed in
> - what color they should have on screen

I suggest you keep the behavior of 1.1.6:
pressing $, {, or # should give \$, \{ or \#, and these are drawn in blue
Pressing \{ or \# should give { or #, and these are drawn in red.