[NTG-context] tilde in math