diff --git a/tex-table/tex-table.rkt b/tex-table/tex-table.rkt index 24cfb9af..a69cd8f4 100644 --- a/tex-table/tex-table.rkt +++ b/tex-table/tex-table.rkt @@ -133,6 +133,8 @@ ("models" "⊨") ("prec" "≺") ("succ" "≻") + ("precdot" "⋖") + ("succdot" "⋗") ("sim" "∼") ("perp" "⊥") ("bot" "⊥")