add precdot and succdot

2015-01-15 15:01:49 -06:00 · 2015-01-15 15:01:49 -06:00 · 0019e45357
commit 0019e45357
parent 1185faa590
1 changed files with 2 additions and 0 deletions
--- a/tex-table/tex-table.rkt
+++ b/tex-table/tex-table.rkt
@ -133,6 +133,8 @@
    ("models" "⊨")
    ("prec" "≺")
    ("succ" "≻")
+    ("precdot" "⋖")
+    ("succdot" "⋗")
    ("sim" "∼")
    ("perp" "⊥")
    ("bot" "⊥")