There are macros for LaTeX that can transform the Lisp structure into more or less readable mathematical language.