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

diff --git a/build/table.utf8.txt b/build/table.utf8.txt
index cd7dbd7..c4f89cd 100644 (file)
--- a/build/table.utf8.txt
+++ b/build/table.utf8.txt
@@ -4622,7 +4622,7 @@ $ 24 \textdollar
 ᴢ 1d22 ${}_{\text{Z}}$
 ᴩ 1d29 ${}_{\text{P}}$
 ◯ 25ef $\bigcirc$
-∌ 220c $X$
+∌ 220c /\llap{$\ni$}
 ⨟ 2a1f $\fatsemi$
 ⦂ 2982 $\colon$
 ² 00b2 ${}^{\text{2}}$

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