-- Expand a conditional and push the resulting token list
-- back into the stream (for group detection).
conditionalPush :: HandleTeXIO m => Bool -> LexerT m ()
conditionalPush = conditional >=> prependTokens
conditionalPush :: HandleTeXIO m => Bool -> LexerT m ()
conditionalPush = conditional >=> prependTokens
conditionalPush = conditional >=> prependTokens