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