[NTG-context] Small integral signs