[Fortress-interest] editing fortress code

[John Zedlewski]

Hi, now that a preview of fortress is available, maybe some of the
developers could let us know what editors they use to write fortress
code? Is there any environment that provides the unicode-style editing
or math-displayed editing environments, as depicted in the fortress
propaganda? Maybe a hacked up emacs x-symbol-mode?
  Thanks for the tips!
--JRZ