In the description of subst in the article file format, the a_i are type variable names, so presumably they must be in the global namespace? Regards, Rob. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20130812/ec6fb2a7/attachment.html>