definition module LaTeX
// This module is more flexible than Text.LaTeX

from StdOverloaded import class toString

:: LaTeX = Command !String ![LaTeX]
         | Environment !String ![LaTeX]
         | Text !String
         | Raw !String
         | Math !Bool /* double $ */ ![LaTeX]
         | List ![LaTeX]

class toLaTeX a :: !a -> LaTeX

instance toString LaTeX