Re: [NTG-context] Problem with integral sign