[NTG-context] how to typeset this formula ?