From 9db5125330d293a9ea5eb09daf8198f7d5e18ca9 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 22 May 2024 16:56:50 +0200
Subject: Allow `\left` and `\right` everywhere

---
 source/Syntax/Token.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'source')

diff --git a/source/Syntax/Token.hs b/source/Syntax/Token.hs
index 65c02ca..cb3f4cb 100644
--- a/source/Syntax/Token.hs
+++ b/source/Syntax/Token.hs
@@ -417,7 +417,7 @@ end = lexeme do
 
 -- | Parses an opening delimiter.
 opening :: Lexer (Located Token)
-opening = lexeme (paren <|> brace <|> group <|> bracket)
+opening = lexeme (group <|> optional (Char.string "\\left") *> (paren <|> brace <|> bracket))
     where
         brace = VisibleBraceL <$ lexeme (Char.string "\\{")
         group = InvisibleBraceL <$ lexeme (Char.char '{')
@@ -426,7 +426,7 @@ opening = lexeme (paren <|> brace <|> group <|> bracket)
 
 -- | Parses a closing delimiter.
 closing :: Lexer (Located Token)
-closing = lexeme (paren <|> brace <|> group <|> bracket)
+closing = lexeme (group <|> optional (Char.string "\\right") *> (paren <|> brace <|> bracket))
     where
         brace = VisibleBraceR <$ lexeme (Char.string "\\}")
         group = InvisibleBraceR <$ lexeme (Char.char '}')
-- 
cgit v1.2.3