Configurable LTL math operators with LaTeX and TikZ or LTLFonts