Re: [NTG-context] (mathematics) Stretching Unicode big operator