How should I proceed to get it fixed in cmtex fonts in TeX Live? The Type 1 versions of the CM fonts are maintained by the AMS. I'd start by writing tech-support (at) ams dot org. -karl