executing the LaTeX abstraction