[NTG-context] Arbitrary tag of displayed formula