TeX reader: use a more general state for the reader monad.
TeX writer:  use \operatorname* for convertible operators.

This fixes one more round-trip test failure.