Re: [NTG-context] Small integral signs