fix handling of 0x220c, the backwards $\in$
[unicode2tex.git] / src / Unicode2Tex.java
2011-01-12 Adam Megaczinitial checkin