[NTG-context] highlighting aligned formulas