From: Adam Megacz <adam@megacz.com>
Date: Thu, 13 Jan 2011 04:57:23 +0000 (-0800)
Subject: fix handling of 0x220c, the backwards $\in$
X-Git-Url: http://git.megacz.com/?p=unicode2tex.git;a=commitdiff_plain;h=1dfc45fc1021b779c96bb9c308460b104933607c

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

diff --git a/build/table.utf8.txt b/build/table.utf8.txt
index cd7dbd7..c4f89cd 100644
--- 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
--- 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