- type LaTeXM a = WriterT Result IO a
- type LaTeX = LaTeXM ()
- lx :: Result -> LaTeX
- lxany :: Show a => a -> LaTeX
- lxw :: Result -> LaTeXM a
- lxanyw :: Show b => b -> LaTeXM a
- nlx :: LaTeXM a -> IO Result
- iolx :: IO a -> LaTeXM a
- reslx :: (Result -> Result) -> LaTeXM a -> LaTeXM a
- genlx :: LaTeX -> LaTeXM a
- ungenlx :: LaTeXM a -> LaTeX