Re: [NTG-context] ≙ is not shown correctly