Re: [NTG-context] xrightarrow is not straight