descriptionA crude Java tool to convert Unicode text files into LaTeX using the STIXFonts mappings
owner
last changeTue, 1 Mar 2011 00:55:53 +0000 (16:55 -0800)
shortlog
2011-03-01 Adam Megaczfix handling of carets master
2011-01-13 Adam Megaczfix handling of 0x220c, the backwards $\in$
2011-01-13 Adam MegaczREADME: add \tt to usage example
2011-01-12 Adam Megaczinitial checkin
heads
13 years ago master