Hi.
The desired behavior of something like \lambda x.M=_\alpha\lambda y.M^{x\rightarrow y} should have no extra spacing inserted between the $=$ (equivalent sign) and the $_\alpha$ (alpha as subscript).
However the (relevant) MathML output of BlahTeXML is:
<msub>
<mo lspace="0.278em" rspace="0.278em">=</mo>
<mi>α</mi>
</msub>
which renders like this:

Hi.
The desired behavior of something like$=$ (equivalent sign) and the $_\alpha$ (alpha as subscript).
\lambda x.M=_\alpha\lambda y.M^{x\rightarrow y}should have no extra spacing inserted between theHowever the (relevant) MathML output of BlahTeXML is:
which renders like this: