Re: [NTG-context] Typesetting >> in verbatim