Re: [NTG-context] arrows and other symbols