Improved handling of operators and unicode aliases.
Added unicode symbol to latex mapping for the latex writer