TeX: support \hdots as synonym of \ldots. #126.

jgm · Dec 14, 2018 · 5e6f91a · 5e6f91a
1 parent b70582a
commit 5e6f91a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Text/TeXMath/Readers/TeX.hs b/src/Text/TeXMath/Readers/TeX.hs
@@ -989,6 +989,7 @@ symbols = M.fromList
   , ("\\prime",ESymbol Ord "\8242")
   , ("\\dots",ESymbol Ord "\8230")
   , ("\\ldots",ESymbol Ord "\8230")
+  , ("\\hdots",ESymbol Ord "\8230")
   , ("\\cdots",ESymbol Ord "\8943")
   , ("\\vdots",ESymbol Ord "\8942")
   , ("\\ddots",ESymbol Ord "\8945")