-- Parse a control sequence and return its meaning.
meaningCtrlSeq :: Monad m => LexerT m Meaning
meaningCtrlSeq = do
  (CtrlSeq name active) <- ctrlseqNoExpand
  st <- getState
  return (getMacroMeaning st (name, active))

-- Parse a single raw character (catcode-independent) and return its meaning.
meaningCtrlSeq :: Monad m => LexerT m Meaning
meaningCtrlSeq = do
  (CtrlSeq name active) <- ctrlseqNoExpand
  st <- getState
  return (getMacroMeaning st (name, active))

-- Parse a single raw character (catcode-independent) and return its meaning.
meaningCtrlSeq = do
  (CtrlSeq name active) <- ctrlseqNoExpand
  st <- getState
  return (getMacroMeaning st (name, active))

-- Parse a single raw character (catcode-independent) and return its meaning.