X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FMkTable.java;fp=src%2FMkTable.java;h=6789dc3f069a90e30bd45dd087553b279ff22e27;hb=1dfc45fc1021b779c96bb9c308460b104933607c;hp=f8fafdee9f4cc0f00a3cebbf489b318dba88363f;hpb=9b16dafe9107ef6b3bbcf373e01f18bfff53bd23;p=unicode2tex.git 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