document REPL LaTeX substitutions