latex: fixing sympy output which uses the unicode character 9472, which is bad for latex. have to overwrite the package defs of master.tplx to correctly load ucs and utf8x and define this character