Thanks, Andrew, for fixing those mistakes related to this:
> iTeX treats sequences of letters with no spaces as defining the name of an operator.
I find this feature quite annoying, since the time it saves is small, and it means I have to think about whether I'm typing in TeX or iTeX - as well as fix the mistakes that amateur iTeX users always make when they trip over this feature!
> You'll notice that I'm deliberately not mentioning all those Wikipedia links that could have gone to the nLab ...
Thanks! That way I won't need to point out that for most Azimuth readers, Wikipedia links are more useful than nLab links.