I probably misunderstand the use of textTemplate. I didn't dig into the rest of the codebase too deeply, I had just assumed that it was used by the pretty printer walking the AST to produce the LaTeX text…