LaTeX - TTM - Z3 using Haskell