[NTG-context] International characters in math