Re: [NTG-context] Arbitrary tag of displayed formula