Adding in symbolmac.tex