plt/racket — pull request #190 by schuster (2012-12-08 19:51:49+00:00)
Title: Fixed Unicode character for \Delta TeX insertion

DrRacket has been using the Unicode character for "increment" (U+2206) when doing the TeX-compress for "\Delta". It looks like a Delta character, but the proper unicode character is U+0394. It also causes interoperability problems with editors that use U+0394, like Emacs. I've fixed the character used in this patch.