Multiple Auxiliaries

lWe want * to Ò bind more tightlyÓ than +.
lUse a different auxiliary symbol for each level of precedence.
lArrange it so that expansions from the tighter binding auxiliary symbol can only be done after those of the looser binding auxiliary.