Dekel Tsur Mon, 03 Sep 2001 13:49:00 -0700
Type \{ -> a red { appears (= latex '{') Now type $ (or \} ), and the red { becomes blue (= latex '\{' )