TeX: \bmod, etc. spacing is incorrect #75