[NTG-context] ∫ is not displayed correctly compared to $\int$.