Pablo Rodriguez

20. Juli 2015 17:08

Many thanks for your fix, Hans.

It works perfectly fine. The font was an improved conversion from a
Type1 font I got from CTAN.