Support for cmex fonts from TeXTrace project, as originally suggested
by Taco Hoekwater.