<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">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?<div><br></div><div>Regards,</div><div><br></div><div>Rob.</div></body></html>