conversion from AST to TeX is now smart enough to parenthesize numbers and factors beginning with a minus sign when doing juxtaposition for multiplication