fix handling of 0x220c, the backwards $\in$

[unicode2tex.git] / src / MkTable.java

diff --git a/src/MkTable.java b/src/MkTable.java
index f8fafde..6789dc3 100644 (file)
--- a/src/MkTable.java
+++ b/src/MkTable.java
@@ -102,10 +102,7 @@ public class MkTable {
 
         table.println(((char)0x25ef)+" 25ef $\\bigcirc$");
 
-        //table.println(((char)0x220c)+" 220c $\\notni$");
-        //table.println(((char)0x220c)+" 220c $\\notowner$");
-        //table.println(((char)0x220c)+" 220c $\\nowns$");
-        table.println(((char)0x220c)+" 220c $X$");  // FIXME
+        table.println(((char)0x220c)+" 220c /\\llap{$\\ni$}");
 
         table.println(((char)0x2a1f)+" 2a1f $\\fatsemi$");
         table.println(((char)0x2982)+" 2982 $\\colon$");          // this is less-than-ideal