projects
/
unicode2tex.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix handling of 0x220c, the backwards $\in$
[unicode2tex.git]
/
src
/
MkTable.java
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)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
table.println(((char)0x2a1f)+" 2a1f $\\fatsemi$");
table.println(((char)0x2982)+" 2982 $\\colon$"); // this is less-than-ideal