[NTG-context] Diamond, and Unicode math symbols