Davide P. Cervone 55a76151c0 Use the unicode characters that Fred has been asking for for a while. This covers most of issues #116, #119, and #216. Still need to merge multiple primes into the characters for those.		2012-08-19 20:13:46 -04:00
..
STIX	Fix an error in the alias for \u005E (^) which caused it to show as a plus	2012-05-18 21:13:56 -04:00
TeX	Use the unicode characters that Fred has been asking for for a while. This covers most of issues #116, #119, and #216. Still need to merge multiple primes into the characters for those.	2012-08-19 20:13:46 -04:00