latex-symbol-macro