As I have been the only person who found it sensible to have { and \{ act
as they do in LaTeX I swapped this. So:
Typing { produces blue { on screen and is written as \{
} } \}
\{ red {} (a BraceInset) {}
Andre'
--
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)
