    {- This module was generated from data in the Kate syntax highlighting file latex.xml, version 1.26,
       by  Jeroen Wijnhout (Jeroen.Wijnhout@kdemail.net)+Holger Danielsson (holger.danielsson@versanet.de)+Michel Ludwig (michel.ludwig@kdemail.net) -}

    module Text.Highlighting.Kate.Syntax.Latex ( highlight, parseExpression, syntaxName, syntaxExtensions ) where
    import Text.Highlighting.Kate.Definitions
    import Text.Highlighting.Kate.Common
    import Text.ParserCombinators.Parsec
    import Data.List (nub)
    import qualified Data.Set as Set
    import Data.Map (fromList)
    import Data.Maybe (fromMaybe)

    -- | Full name of language.
    syntaxName :: String
    syntaxName = "LaTeX"

    -- | Filename extensions for this language.
    syntaxExtensions :: String
    syntaxExtensions = "*.tex; *.ltx; *.dtx; *.sty; *.cls;"

    -- | Highlight source code using this syntax definition.
    highlight :: String -> Either String [SourceLine]
    highlight input =
      case runParser parseSource startingState "source" input of
        Left err     -> Left $ show err
        Right result -> Right result

    -- | Parse an expression using appropriate local context.
    parseExpression :: GenParser Char SyntaxState LabeledSource
    parseExpression = do
      st <- getState
      let oldLang = synStLanguage st
      setState $ st { synStLanguage = "LaTeX" }
      context <- currentContext <|> (pushContext "Normal Text" >> currentContext)
      result <- parseRules context
      updateState $ \st -> st { synStLanguage = oldLang }
      return result

    parseSource = do
      lineContents <- lookAhead wholeLine
      updateState $ \st -> st { synStCurrentLine = lineContents }
      result <- manyTill parseSourceLine eof
      return $ map normalizeHighlighting result

    startingState = SyntaxState {synStContexts = fromList [("LaTeX",["Normal Text"])], synStLanguage = "LaTeX", synStCurrentLine = "", synStCharsParsedInLine = 0, synStPrevChar = '\n', synStCaseSensitive = True, synStKeywordCaseSensitive = True, synStCaptures = []}

    parseSourceLine = manyTill parseExpressionInternal pEndLine

    pEndLine = do
      newline <|> (eof >> return '\n')
      context <- currentContext
      case context of
        "Normal Text" -> return ()
        "Sectioning" -> return ()
        "SectioningInside" -> return ()
        "SectioningContrSeq" -> (popContext >> return ())
        "SectioningMathMode" -> return ()
        "SectioningMathContrSeq" -> (popContext >> return ())
        "NewCommand" -> return ()
        "DefCommand" -> return ()
        "CommandParameterStart" -> return ()
        "CommandParameter" -> return ()
        "ContrSeq" -> (popContext >> return ())
        "ToEndOfLine" -> (popContext >> return ())
        "Verb" -> (popContext >> popContext >> return ())
        "VerbEnd" -> (popContext >> popContext >> popContext >> return ())
        "Label" -> return ()
        "LabelOption" -> return ()
        "LabelParameter" -> return ()
        "FindEnvironment" -> return ()
        "Environment" -> return ()
        "LatexEnv" -> return ()
        "VerbatimEnv" -> return ()
        "VerbatimEnvParam" -> return ()
        "Verbatim" -> return ()
        "VerbFindEnd" -> (popContext >> return ())
        "MathEnv" -> return ()
        "MathEnvParam" -> return ()
        "EnvCommon" -> return ()
        "MathModeEnv" -> return ()
        "MathFindEnd" -> (popContext >> return ())
        "MathMode" -> return ()
        "MathModeDisplay" -> return ()
        "MathModeEquation" -> return ()
        "MathModeCommon" -> return ()
        "MathContrSeq" -> (popContext >> return ())
        "MathModeText" -> return ()
        "MathModeTextParameterStart" -> return ()
        "MathModeTextParameter" -> return ()
        "Comment" -> (popContext >> return ())
        _ -> return ()
      lineContents <- lookAhead wholeLine
      updateState $ \st -> st { synStCurrentLine = lineContents, synStCharsParsedInLine = 0, synStPrevChar = '\n' }

    withAttribute attr txt = do
      if null txt
         then fail "Parser matched no text"
         else return ()
      let style = fromMaybe "" $ lookup attr styles
      st <- getState
      let oldCharsParsed = synStCharsParsedInLine st
      let prevchar = if null txt then '\n' else last txt
      updateState $ \st -> st { synStCharsParsedInLine = oldCharsParsed + length txt, synStPrevChar = prevchar }
      return (nub [style, attr], txt)

    styles = [("Normal Text","Normal"),("Keyword","Normal"),("Comment","Comment"),("Error","Alert"),("Math","Normal"),("Structure","Normal"),("Keyword Mathmode","Normal"),("Environment","Normal"),("Verbatim","Normal"),("Region Marker","RegionMarker"),("Bullet","Normal"),("Alert","Alert"),("Structure Text","Normal"),("Structure Keyword","Normal"),("Structure Math","Normal"),("Structure Keyword Mathmode","Normal")]

    parseExpressionInternal = do
      context <- currentContext
      parseRules context <|> (pDefault >>= withAttribute (fromMaybe "" $ lookup context defaultAttributes))

    regex_'5c'5cbegin'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "\\\\begin(?=[^a-zA-Z])"
    regex_'5c'5cend'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "\\\\end(?=[^a-zA-Z])"
    regex_'5c'5c'28label'7cpageref'7cref'7cvpageref'7cvref'7ccite'29'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "\\\\(label|pageref|ref|vpageref|vref|cite)(?=[^a-zA-Z])"
    regex_'5c'5c'28part'7cchapter'7csection'7csubsection'7csubsubsection'7cparagraph'7csubparagraph'29'5c'2a'3f'5cs'2a'28'3f'3d'5b'5c'7b'5c'5b'5d'29 = compileRegex "\\\\(part|chapter|section|subsection|subsubsection|paragraph|subparagraph)\\*?\\s*(?=[\\{\\[])"
    regex_'5c'5c'28re'29'3fnewcommand'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "\\\\(re)?newcommand(?=[^a-zA-Z])"
    regex_'5c'5c'28e'7cg'7cx'29'3fdef'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "\\\\(e|g|x)?def(?=[^a-zA-Z])"
    regex_'25'5cs'2aBEGIN'2e'2a'24 = compileRegex "%\\s*BEGIN.*$"
    regex_'25'5cs'2aEND'2e'2a'24 = compileRegex "%\\s*END.*$"
    regex_'5c'5b'5b'5e'5c'5d'5d'2a'5c'5d = compileRegex "\\[[^\\]]*\\]"
    regex_'5ba'2dzA'2dZ'5d'2b'28'5c'2b'3f'7c'5c'2a'7b0'2c3'7d'29 = compileRegex "[a-zA-Z]+(\\+?|\\*{0,3})"
    regex_'5b'5ea'2dzA'2dZ'5d = compileRegex "[^a-zA-Z]"
    regex_'5ba'2dzA'2dZ'5d'2b'5c'2a'3f = compileRegex "[a-zA-Z]+\\*?"
    regex_'5cs'2a'5c'7b'5cs'2a'5c'5c'5ba'2dzA'2dZ'5d'2b'5cs'2a'5c'7d'28'5c'5b'5cd'5c'5d'28'5c'5b'5b'5e'5c'5d'5d'2b'5c'5d'29'3f'29'3f'5c'7b = compileRegex "\\s*\\{\\s*\\\\[a-zA-Z]+\\s*\\}(\\[\\d\\](\\[[^\\]]+\\])?)?\\{"
    regex_'5cs'2a'5c'5c'5ba'2dzA'2dZ'5d'2b'5b'5e'5c'7b'5d'2a'5c'7b = compileRegex "\\s*\\\\[a-zA-Z]+[^\\{]*\\{"
    regex_'5c'5c'2e = compileRegex "\\\\."
    regex_verb'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 = compileRegex "verb(?=[^a-zA-Z])"
    regex_'5cs'2a'5c'7b'5cs'2a = compileRegex "\\s*\\{\\s*"
    regex_'5cs'2a'5c'5b'5cs'2a = compileRegex "\\s*\\[\\s*"
    regex_'5b'5e'5c'5b'5c'7b'5d'2b = compileRegex "[^\\[\\{]+"
    regex_'5cs'2a'5c'5d'5cs'2a = compileRegex "\\s*\\]\\s*"
    regex_'5cs'2a'5c'7d'5cs'2a = compileRegex "\\s*\\}\\s*"
    regex_'5cS = compileRegex "\\S"
    regex_'28lstlisting'7c'28B'7cL'29'3fVerbatim'29 = compileRegex "(lstlisting|(B|L)?Verbatim)"
    regex_'28verbatim'7cboxedverbatim'29 = compileRegex "(verbatim|boxedverbatim)"
    regex_'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'29 = compileRegex "(equation|displaymath|eqnarray|subeqnarray|math|multline|gather|align|flalign)"
    regex_'28alignat'7cxalignat'7cxxalignat'29 = compileRegex "(alignat|xalignat|xxalignat)"
    regex_'5ba'2dzA'2dZ'5d = compileRegex "[a-zA-Z]"
    regex_'5cs'2b = compileRegex "\\s+"
    regex_'5b'5ea'2dzA'2dZ'5cxd7'5d = compileRegex "[^a-zA-Z\\xd7]"
    regex_'5ba'2dzA'2dZ'5d'2b = compileRegex "[a-zA-Z]+"
    regex_'5c'5cend'28'3f'3d'5cs'2a'5c'7b'28verbatim'7clstlisting'7cboxedverbatim'7c'28B'7cL'29'3fVerbatim'29'5c'2a'3f'5c'7d'29 = compileRegex "\\\\end(?=\\s*\\{(verbatim|lstlisting|boxedverbatim|(B|L)?Verbatim)\\*?\\})"
    regex_'5cs'2a'5c'7b = compileRegex "\\s*\\{"
    regex_'28verbatim'7clstlisting'7cboxedverbatim'7c'28B'7cL'29'3fVerbatim'29'5c'2a'3f = compileRegex "(verbatim|lstlisting|boxedverbatim|(B|L)?Verbatim)\\*?"
    regex_'5c'7d'5c'7b'5b'5e'5c'7d'5d'2a'5c'7d = compileRegex "\\}\\{[^\\}]*\\}"
    regex_'5c'2a'28'3f'3d'5c'7d'29 = compileRegex "\\*(?=\\})"
    regex_'5c'2a'5b'5e'5c'7d'5d'2a = compileRegex "\\*[^\\}]*"
    regex_'5b'5ea'2dzA'2dZ'5cxd7'5d'5b'5e'5c'7d'5d'2a = compileRegex "[^a-zA-Z\\xd7][^\\}]*"
    regex_'5c'5cend'28'3f'3d'5cs'2a'5c'7b'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f'5c'7d'29 = compileRegex "\\\\end(?=\\s*\\{(equation|displaymath|eqnarray|subeqnarray|math|multline|gather|align|flalign|alignat|xalignat|xxalignat)\\*?\\})"
    regex_'5c'5c'28text'7cintertext'7cmbox'29'5cs'2a'28'3f'3d'5c'7b'29 = compileRegex "\\\\(text|intertext|mbox)\\s*(?=\\{)"
    regex_'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f = compileRegex "(equation|displaymath|eqnarray|subeqnarray|math|multline|gather|align|flalign|alignat|xalignat|xxalignat)\\*?"
    regex_'5c'5c'28begin'7cend'29'5cs'2a'5c'7b'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f'5c'7d = compileRegex "\\\\(begin|end)\\s*\\{(equation|displaymath|eqnarray|subeqnarray|math|multline|gather|align|flalign|alignat|xalignat|xxalignat)\\*?\\}"
    regex_'28FIXME'7cTODO'29'3a'3f = compileRegex "(FIXME|TODO):?"

    defaultAttributes = [("Normal Text","Normal Text"),("Sectioning","Normal Text"),("SectioningInside","Structure Text"),("SectioningContrSeq","Keyword"),("SectioningMathMode","Structure Math"),("SectioningMathContrSeq","Structure Keyword Mathmode"),("NewCommand","Normal Text"),("DefCommand","Normal Text"),("CommandParameterStart","Normal Text"),("CommandParameter","Normal Text"),("ContrSeq","Keyword"),("ToEndOfLine","Normal Text"),("Verb","Verbatim"),("VerbEnd","Verbatim"),("Label","Normal Text"),("LabelOption","Normal Text"),("LabelParameter","Environment"),("FindEnvironment","Normal Text"),("Environment","Environment"),("LatexEnv","Environment"),("VerbatimEnv","Environment"),("VerbatimEnvParam","Normal Text"),("Verbatim","Verbatim"),("VerbFindEnd","Normal Text"),("MathEnv","Environment"),("MathEnvParam","Normal Text"),("EnvCommon","Environment"),("MathModeEnv","Math"),("MathFindEnd","Normal Text"),("MathMode","Math"),("MathModeDisplay","Math"),("MathModeEquation","Math"),("MathModeCommon","Math"),("MathContrSeq","Keyword Mathmode"),("MathModeText","Normal Text"),("MathModeTextParameterStart","Normal Text"),("MathModeTextParameter","Normal Text"),("Comment","Comment")]

    parseRules "Normal Text" =
      do (attr, result) <- (((pRegExpr regex_'5c'5cbegin'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Structure") >>~ pushContext "FindEnvironment")
                            <|>
                            ((pRegExpr regex_'5c'5cend'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Structure") >>~ pushContext "FindEnvironment")
                            <|>
                            ((pRegExpr regex_'5c'5c'28label'7cpageref'7cref'7cvpageref'7cvref'7ccite'29'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Structure") >>~ pushContext "Label")
                            <|>
                            ((pRegExpr regex_'5c'5c'28part'7cchapter'7csection'7csubsection'7csubsubsection'7cparagraph'7csubparagraph'29'5c'2a'3f'5cs'2a'28'3f'3d'5b'5c'7b'5c'5b'5d'29 >>= withAttribute "Structure") >>~ pushContext "Sectioning")
                            <|>
                            ((pRegExpr regex_'5c'5c'28re'29'3fnewcommand'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword") >>~ pushContext "NewCommand")
                            <|>
                            ((pRegExpr regex_'5c'5c'28e'7cg'7cx'29'3fdef'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword") >>~ pushContext "DefCommand")
                            <|>
                            ((pString False "\\(" >>= withAttribute "Math") >>~ pushContext "MathMode")
                            <|>
                            ((pString False "\\[" >>= withAttribute "Math") >>~ pushContext "MathModeEquation")
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Keyword") >>~ pushContext "ContrSeq")
                            <|>
                            ((pString False "$$" >>= withAttribute "Math") >>~ pushContext "MathModeDisplay")
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Math") >>~ pushContext "MathMode")
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aBEGIN'2e'2a'24 >>= withAttribute "Region Marker"))
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aEND'2e'2a'24 >>= withAttribute "Region Marker"))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet")))
         return (attr, result)

    parseRules "Sectioning" =
      do (attr, result) <- (((pRegExpr regex_'5c'5b'5b'5e'5c'5d'5d'2a'5c'5d >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False ' ' >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "SectioningInside")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> return ()))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "SectioningInside" =
      do (attr, result) <- (((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "SectioningInside")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> return ()))
                            <|>
                            ((pString False "\\(" >>= withAttribute "Structure Math") >>~ pushContext "SectioningMathMode")
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Structure Keyword") >>~ pushContext "SectioningContrSeq")
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Structure Math") >>~ pushContext "SectioningMathMode")
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet")))
         return (attr, result)

    parseRules "SectioningContrSeq" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d'2b'28'5c'2b'3f'7c'5c'2a'7b0'2c3'7d'29 >>= withAttribute "Structure Keyword") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5d >>= withAttribute "Structure Keyword") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "SectioningMathMode" =
      do (attr, result) <- (((pString False "$$" >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Structure Math") >>~ (popContext >> return ()))
                            <|>
                            ((pDetect2Chars False '\\' ')' >>= withAttribute "Structure Math") >>~ (popContext >> return ()))
                            <|>
                            ((pDetect2Chars False '\\' ']' >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Structure Keyword Mathmode") >>~ pushContext "SectioningMathContrSeq")
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet")))
         return (attr, result)

    parseRules "SectioningMathContrSeq" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d'2b'5c'2a'3f >>= withAttribute "Structure Keyword Mathmode") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5d >>= withAttribute "Structure Keyword Mathmode") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "NewCommand" =
      do (attr, result) <- (((pRegExpr regex_'5cs'2a'5c'7b'5cs'2a'5c'5c'5ba'2dzA'2dZ'5d'2b'5cs'2a'5c'7d'28'5c'5b'5cd'5c'5d'28'5c'5b'5b'5e'5c'5d'5d'2b'5c'5d'29'3f'29'3f'5c'7b >>= withAttribute "Normal Text") >>~ pushContext "CommandParameterStart")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Error") >>~ (popContext >> return ()))
                            <|>
                            ((popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "DefCommand" =
      do (attr, result) <- (((pRegExpr regex_'5cs'2a'5c'5c'5ba'2dzA'2dZ'5d'2b'5b'5e'5c'7b'5d'2a'5c'7b >>= withAttribute "Normal Text") >>~ pushContext "CommandParameterStart")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Error") >>~ (popContext >> return ()))
                            <|>
                            ((popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "CommandParameterStart" =
      do (attr, result) <- (((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "CommandParameter")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5c'5c'2e >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment"))
         return (attr, result)

    parseRules "CommandParameter" =
      do (attr, result) <- (((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "CommandParameter")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5c'5c'2e >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment"))
         return (attr, result)

    parseRules "ContrSeq" =
      do (attr, result) <- (((pString False "verb*" >>= withAttribute "Keyword") >>~ pushContext "Verb")
                            <|>
                            ((pRegExpr regex_verb'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword") >>~ pushContext "Verb")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d'2b'28'5c'2b'3f'7c'5c'2a'7b0'2c3'7d'29 >>= withAttribute "Keyword") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5d >>= withAttribute "Keyword") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "ToEndOfLine" =
      pzero

    parseRules "Verb" =
      do (attr, result) <- ((pRegExprDynamic "(.)" >>= withAttribute "Normal Text") >>~ pushContext "VerbEnd")
         return (attr, result)

    parseRules "VerbEnd" =
      do (attr, result) <- (((pString True "%1" >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> popContext >> return ()))
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExprDynamic "[^%1\\xd7]*" >>= withAttribute "Verbatim")))
         return (attr, result)

    parseRules "Label" =
      do (attr, result) <- (((pRegExpr regex_'5cs'2a'5c'7b'5cs'2a >>= withAttribute "Normal Text") >>~ pushContext "LabelParameter")
                            <|>
                            ((pRegExpr regex_'5cs'2a'5c'5b'5cs'2a >>= withAttribute "Normal Text") >>~ pushContext "LabelOption")
                            <|>
                            ((pRegExpr regex_'5b'5e'5c'5b'5c'7b'5d'2b >>= withAttribute "Error")))
         return (attr, result)

    parseRules "LabelOption" =
      do (attr, result) <- (((pString False "\\(" >>= withAttribute "Math") >>~ pushContext "MathMode")
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Keyword") >>~ pushContext "ContrSeq")
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Math") >>~ pushContext "MathMode")
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5cs'2a'5c'5d'5cs'2a >>= withAttribute "Normal Text") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "LabelParameter" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5cs'2a'5c'7d'5cs'2a >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> return ())))
         return (attr, result)

    parseRules "FindEnvironment" =
      do (attr, result) <- (((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "Environment")
                            <|>
                            ((pRegExpr regex_'5cS >>= withAttribute "Normal Text") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "Environment" =
      do (attr, result) <- (((pRegExpr regex_'28lstlisting'7c'28B'7cL'29'3fVerbatim'29 >>= withAttribute "Environment") >>~ pushContext "VerbatimEnvParam")
                            <|>
                            ((pRegExpr regex_'28verbatim'7cboxedverbatim'29 >>= withAttribute "Environment") >>~ pushContext "VerbatimEnv")
                            <|>
                            ((pRegExpr regex_'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'29 >>= withAttribute "Environment") >>~ pushContext "MathEnv")
                            <|>
                            ((pRegExpr regex_'28alignat'7cxalignat'7cxxalignat'29 >>= withAttribute "Environment") >>~ pushContext "MathEnvParam")
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d >>= withAttribute "Environment") >>~ pushContext "LatexEnv")
                            <|>
                            ((pRegExpr regex_'5cs'2b >>= withAttribute "Error") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5cxd7'5d >>= withAttribute "Error") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "LatexEnv" =
      do (attr, result) <- (((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d'2b >>= withAttribute "Environment"))
                            <|>
                            ((pRegExpr regex_'5cs'2b >>= withAttribute "Error"))
                            <|>
                            ((parseRules "EnvCommon")))
         return (attr, result)

    parseRules "VerbatimEnv" =
      do (attr, result) <- (((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ pushContext "Verbatim")
                            <|>
                            ((lookAhead (pRegExpr regex_'5ba'2dzA'2dZ'5d) >> return ([],"") ) >>~ (popContext >> return ()))
                            <|>
                            ((parseRules "EnvCommon"))
                            <|>
                            ((popContext >> popContext >> popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "VerbatimEnvParam" =
      do (attr, result) <- (((pDetect2Chars False '}' '[' >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ pushContext "Verbatim")
                            <|>
                            ((pDetectChar False ']' >>= withAttribute "Normal Text") >>~ pushContext "Verbatim"))
         return (attr, result)

    parseRules "Verbatim" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5c'5cend'28'3f'3d'5cs'2a'5c'7b'28verbatim'7clstlisting'7cboxedverbatim'7c'28B'7cL'29'3fVerbatim'29'5c'2a'3f'5c'7d'29 >>= withAttribute "Structure") >>~ pushContext "VerbFindEnd"))
         return (attr, result)

    parseRules "VerbFindEnd" =
      do (attr, result) <- (((pRegExpr regex_'5cs'2a'5c'7b >>= withAttribute "Normal Text"))
                            <|>
                            ((pRegExpr regex_'28verbatim'7clstlisting'7cboxedverbatim'7c'28B'7cL'29'3fVerbatim'29'5c'2a'3f >>= withAttribute "Environment"))
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> popContext >> popContext >> popContext >> return ()))
                            <|>
                            ((popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "MathEnv" =
      do (attr, result) <- (((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ pushContext "MathModeEnv")
                            <|>
                            ((lookAhead (pRegExpr regex_'5ba'2dzA'2dZ'5d) >> return ([],"") ) >>~ (popContext >> return ()))
                            <|>
                            ((parseRules "EnvCommon")))
         return (attr, result)

    parseRules "MathEnvParam" =
      do (attr, result) <- (((pRegExpr regex_'5c'7d'5c'7b'5b'5e'5c'7d'5d'2a'5c'7d >>= withAttribute "Normal Text") >>~ pushContext "MathModeEnv")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ pushContext "MathModeEnv")
                            <|>
                            ((lookAhead (pRegExpr regex_'5ba'2dzA'2dZ'5d) >> return ([],"") ) >>~ (popContext >> return ()))
                            <|>
                            ((parseRules "EnvCommon")))
         return (attr, result)

    parseRules "EnvCommon" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5c'2a'28'3f'3d'5c'7d'29 >>= withAttribute "Environment"))
                            <|>
                            ((pRegExpr regex_'5c'2a'5b'5e'5c'7d'5d'2a >>= withAttribute "Error") >>~ (popContext >> popContext >> popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5cxd7'5d'5b'5e'5c'7d'5d'2a >>= withAttribute "Error") >>~ (popContext >> popContext >> popContext >> return ())))
         return (attr, result)

    parseRules "MathModeEnv" =
      do (attr, result) <- (((pRegExpr regex_'5c'5cend'28'3f'3d'5cs'2a'5c'7b'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f'5c'7d'29 >>= withAttribute "Structure") >>~ pushContext "MathFindEnd")
                            <|>
                            ((pRegExpr regex_'5c'5cbegin'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword Mathmode"))
                            <|>
                            ((pRegExpr regex_'5c'5cend'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword Mathmode"))
                            <|>
                            ((pString False "\\(" >>= withAttribute "Error"))
                            <|>
                            ((pString False "\\[" >>= withAttribute "Error"))
                            <|>
                            ((pString False "\\)" >>= withAttribute "Error"))
                            <|>
                            ((pString False "\\]" >>= withAttribute "Error"))
                            <|>
                            ((pRegExpr regex_'5c'5c'28text'7cintertext'7cmbox'29'5cs'2a'28'3f'3d'5c'7b'29 >>= withAttribute "Keyword Mathmode") >>~ pushContext "MathModeText")
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Keyword Mathmode") >>~ pushContext "MathContrSeq")
                            <|>
                            ((pString False "$$" >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aBEGIN'2e'2a'24 >>= withAttribute "Region Marker"))
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aEND'2e'2a'24 >>= withAttribute "Region Marker")))
         return (attr, result)

    parseRules "MathFindEnd" =
      do (attr, result) <- (((pRegExpr regex_'5cs'2a'5c'7b >>= withAttribute "Normal Text"))
                            <|>
                            ((pRegExpr regex_'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f >>= withAttribute "Environment"))
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> popContext >> popContext >> popContext >> return ()))
                            <|>
                            ((popContext >> return ()) >> return ([], "")))
         return (attr, result)

    parseRules "MathMode" =
      do (attr, result) <- (((pString False "$$" >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Math") >>~ (popContext >> return ()))
                            <|>
                            ((pDetect2Chars False '\\' ')' >>= withAttribute "Math") >>~ (popContext >> return ()))
                            <|>
                            ((pDetect2Chars False '\\' ']' >>= withAttribute "Error"))
                            <|>
                            ((parseRules "MathModeCommon")))
         return (attr, result)

    parseRules "MathModeDisplay" =
      do (attr, result) <- (((pString False "$$" >>= withAttribute "Math") >>~ (popContext >> return ()))
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Error"))
                            <|>
                            ((pDetect2Chars False '\\' ']' >>= withAttribute "Error"))
                            <|>
                            ((pDetect2Chars False '\\' ')' >>= withAttribute "Error"))
                            <|>
                            ((parseRules "MathModeCommon")))
         return (attr, result)

    parseRules "MathModeEquation" =
      do (attr, result) <- (((pDetect2Chars False '\\' ']' >>= withAttribute "Math") >>~ (popContext >> return ()))
                            <|>
                            ((pString False "$$" >>= withAttribute "Error"))
                            <|>
                            ((pDetectChar False '$' >>= withAttribute "Error"))
                            <|>
                            ((pDetect2Chars False '\\' ')' >>= withAttribute "Error"))
                            <|>
                            ((parseRules "MathModeCommon")))
         return (attr, result)

    parseRules "MathModeCommon" =
      do (attr, result) <- (((pRegExpr regex_'5c'5c'28begin'7cend'29'5cs'2a'5c'7b'28equation'7cdisplaymath'7ceqnarray'7csubeqnarray'7cmath'7cmultline'7cgather'7calign'7cflalign'7calignat'7cxalignat'7cxxalignat'29'5c'2a'3f'5c'7d >>= withAttribute "Error"))
                            <|>
                            ((pRegExpr regex_'5c'5cbegin'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword Mathmode"))
                            <|>
                            ((pRegExpr regex_'5c'5cend'28'3f'3d'5b'5ea'2dzA'2dZ'5d'29 >>= withAttribute "Keyword Mathmode"))
                            <|>
                            ((pRegExpr regex_'5c'5c'28text'7cintertext'7cmbox'29'5cs'2a'28'3f'3d'5c'7b'29 >>= withAttribute "Keyword Mathmode") >>~ pushContext "MathModeText")
                            <|>
                            ((pDetectChar False '\\' >>= withAttribute "Keyword Mathmode") >>~ pushContext "MathContrSeq")
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment")
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aBEGIN'2e'2a'24 >>= withAttribute "Region Marker"))
                            <|>
                            ((pFirstNonSpace >> pRegExpr regex_'25'5cs'2aEND'2e'2a'24 >>= withAttribute "Region Marker"))
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet")))
         return (attr, result)

    parseRules "MathContrSeq" =
      do (attr, result) <- (((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pRegExpr regex_'5ba'2dzA'2dZ'5d'2b'5c'2a'3f >>= withAttribute "Keyword Mathmode") >>~ (popContext >> return ()))
                            <|>
                            ((pRegExpr regex_'5b'5ea'2dzA'2dZ'5d >>= withAttribute "Keyword Mathmode") >>~ (popContext >> return ())))
         return (attr, result)

    parseRules "MathModeText" =
      do (attr, result) <- ((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "MathModeTextParameterStart")
         return (attr, result)

    parseRules "MathModeTextParameterStart" =
      do (attr, result) <- (((pRegExpr regex_'5c'5c'2e >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "MathModeTextParameter")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> popContext >> return ()))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment"))
         return (attr, result)

    parseRules "MathModeTextParameter" =
      do (attr, result) <- (((pRegExpr regex_'5c'5c'2e >>= withAttribute "Normal Text"))
                            <|>
                            ((pDetectChar False '{' >>= withAttribute "Normal Text") >>~ pushContext "MathModeTextParameter")
                            <|>
                            ((pDetectChar False '}' >>= withAttribute "Normal Text") >>~ (popContext >> return ()))
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet"))
                            <|>
                            ((pDetectChar False '%' >>= withAttribute "Comment") >>~ pushContext "Comment"))
         return (attr, result)

    parseRules "Comment" =
      do (attr, result) <- (((pRegExpr regex_'28FIXME'7cTODO'29'3a'3f >>= withAttribute "Alert"))
                            <|>
                            ((pDetectChar False '\215' >>= withAttribute "Bullet")))
         return (attr, result)

    parseRules x = fail $ "Unknown context" ++ x