Re: [NTG-context] Diamond, and Unicode math symbols