TeXMath reader: improved handling of primes.