1. John is right, I could use Times instead of Computer Modern fonts (many publishers do for books), there is only one problem: no journal would take my submission.
2. I attached two pdf files:
testgood.pdf
was created with Illustrator, it contains the Principal formula correctly.
testbad.pdf
was created with AD, has lots of errors in the Princ formula: small spaces are represented by a forward slanted `, and the "contained in: symbol isn represented by a composite symbol,
a union combined with a funny back pointing arrow.
I know that the Computer Modern fonts are not standard, but Illustrator (lucky for mathematicians) does not mind.