Support \dots and well as \ldots in LaTeX reader.

2026-08-28 19:26:45 +00:00 · 2011-06-22 20:06:29 -07:00
parent d324bcb0a9
commit 9e71dc3f48
1 changed files with 6 additions and 2 deletions
@@ -777,8 +777,12 @@ doubleQuoteEnd :: CharParser st String
 doubleQuoteEnd = try $ string "''"

 ellipses :: GenParser Char st Inline
-ellipses = try $ string "\\ldots" >> optional (try $ string "{}") >>
-                 return Ellipses
+ellipses = try $ do
+  char '\\'
+  optional $ char 'l'
+  string "dots"
+  optional $ try $ string "{}"
+  return Ellipses

 enDash :: GenParser Char st Inline
 enDash = try (string "--") >> return EnDash