Added \ulcorner, \urcorner.

jgm · Jan 6, 2011 · 5dfac0c · 5dfac0c
1 parent ce52c30
commit 5dfac0c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Text/TeXMath/Parser.hs b/Text/TeXMath/Parser.hs
@@ -452,6 +452,8 @@ enclosures = [ ("(", ESymbol Open "(")
              , ("\\lVert", ESymbol Open "\x2225")
              , ("\\rVert", ESymbol Close "\x2225")
              , ("\\Vert", ESymbol Close "\x2016")
+             , ("\\ulcorner", ESymbol Open "\x231C")
+             , ("\\urcorner", ESymbol Close "\x231D")
              ]
 
 symbols :: M.Map String Exp