-- Expand a conditional to its right branch.
iffalse :: HandleTeXIO m => LexerT m [Token]
iffalse = [] <$ conditionalPush False
iffalse :: HandleTeXIO m => LexerT m [Token]
iffalse = [] <$ conditionalPush False
iffalse = [] <$ conditionalPush False