Symbols accessible from LaTeX
