Re: [NTG-context] unicode integral sign