TeX: operators priority