[NTG-context] equation numbering: subfurmulas