From 1dfc45fc1021b779c96bb9c308460b104933607c Mon Sep 17 00:00:00 2001
From: Adam Megacz <adam@megacz.com>
Date: Wed, 12 Jan 2011 20:57:23 -0800
Subject: [PATCH] fix handling of 0x220c, the backwards $\in$

---
 build/table.utf8.txt |    2 +-
 src/MkTable.java     |    5 +----
 2 files changed, 2 insertions(+), 5 deletions(-)

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
-- 
1.7.10.4