I also had problems with MathML verbosity, and the culprit is the markup for the individual character classes (mi, mn, mo, ms.) I wrote a little filter that pulls apart character sequences and applies the respective character markup tags using a lookup table, so I can write MathML without using character markup. If any character markup is already present then it is skipped, so the automatic behavior can be bypassed by explicitly tagging characters and symbols as needed. This drastically reduces the character markup and makes it quite readable, even to my dyslexic eyes. As a bonus I'm not tied to some other tool that I have to game from time to time to get a particular MathML expression, I can say exactly what I want. BoBW.