From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <016e01c3efcd$17653a30$67844051@SOMA>
From: "boyd, rounin" <boyd@insultant.net>
To: <9fans@cse.psu.edu>
References: <5784992a7173ddb05ad401029b331b2e@mteege.de>
Subject: Re: [9fans] input pipe and drawterm
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Date: Tue, 10 Feb 2004 12:57:42 +0100
Topicbox-Message-UUID: dc73d528-eacc-11e9-9e20-41e7f4b1d025

> use "AltGr <" to input the pipe. Is there any
> way to get the pipe?

i have to type AltGr-6 and for some chars it goes
into 'utf collection mode'.  hitting space backspace
usually sorts that out, after typing:

    AltGR-<something>

i'm pretty sure AltGr maps onto 'compose'.