add notin as a tex shortcut

closes PR 15157
2015-09-22 21:03:08 -05:00 · 2015-09-22 21:03:08 -05:00 · ed01aa1e43
commit ed01aa1e43
parent 1dca74da1d
1 changed files with 1 additions and 0 deletions
--- a/tex-table/tex-table.rkt
+++ b/tex-table/tex-table.rkt
@ -163,6 +163,7 @@
    ("frown" "⌢")
    ("in" "∈")
    ("ni" "∋")
+    ("notin" "∉")
    ("propto" "∝")
    ("vdash" "⊢")
    ("dashv" "⊣")