diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt index e43e2c2247..d777aa9873 100644 --- a/collects/mrlib/tex-table.rkt +++ b/collects/mrlib/tex-table.rkt @@ -186,12 +186,7 @@ ("vdots" "⋮") ("ddots" "⋱") ("cdots" "⋯") - ("hdots" "⋯") - ("udots" "⋰") - ("downtherefore" "∵") - ("uptherefore" "∴") - ("vdotdot" "∶") - ("squaredots" "∷"))) + ("hdots" "⋯"))) (module+ test (require racket/match) diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt index 511197e13a..aeb92524f8 100644 --- a/collects/scribble/latex-render.rkt +++ b/collects/scribble/latex-render.rkt @@ -1014,6 +1014,10 @@ [(#\u2079) "$^9$"] [(#\u207a) "$^+$"] [(#\u207b) "$^-$"] + [(#\⋮) "\\vdots"] + [(#\⋱) "$\\ddots$"] + [(#\⋯) "$\\cdots$"] + [(#\⋯) "\\hdots"] [else (cond [(char<=? #\uAC00 c #\uD7AF) ; Korean Hangul