Re: [NTG-context] \rightarrow missing?