[NTG-context] integral symbol