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.