You are right. Getting rid of the stray <mrow> around '/' does make the spacing better. Also, today I learnt about Temml. It looks very interesting and I'll be trying it out. Thanks for this nice discussion!