Scribble Latex Unicode fixes

This commit is contained in:
Matthew Flatt 2011-06-16 15:05:44 -06:00
parent 477c5acb2a
commit c9e98a5f1f

View File

@ -680,6 +680,12 @@
[(#\u039B) "$\\Lambda$"] [(#\u039B) "$\\Lambda$"]
[(#\u03BC) "$\\mu$"] [(#\u03BC) "$\\mu$"]
[(#\u03C0) "$\\pi$"] [(#\u03C0) "$\\pi$"]
[(#\) "{`}"]
[(#\) "{'}"]
[(#\“) "{``}"]
[(#\”) "{''}"]
[(#\u2013) "{--}"]
[(#\u2014) "{---}"]
[(#\∞) "$\\infty$"] [(#\∞) "$\\infty$"]
[(#\⇓) "$\\Downarrow$"] [(#\⇓) "$\\Downarrow$"]
[(#\↖) "$\\nwarrow$"] [(#\↖) "$\\nwarrow$"]