Hm. I hadn't considered that. I figured the // would stick around from the TEXFONTS variable. Actually, I still prefer only /. To use LaTeX as an I think it's not worth debating the syntactic details of a hypothetical feature :-). I'll try to write something nonspecific that gets the point across. Thanks for the clarifications.