From 0019e45357b99f5f0613de33db38c14de55c580f Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 15 Jan 2015 15:01:49 -0600
Subject: [PATCH] add precdot and succdot

---
 tex-table/tex-table.rkt | 2 ++
 1 file changed, 2 insertions(+)

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" "⊥")