[NTG-context] Re: textbar

Patrick Gundlach ntg-context@ntg.nl
Mon, 26 Jan 2004 13:35:10 +0100


> i'm not sure if \textbar is/should be in the encoding vectors ...

since | is made active, we have to have some way to work around it. 

Or we should be able to use \| to get char 124. It does not have to
be \textbar.

\chardef\|=124 would be ok, wouldn't it?

Morgen gibts kein ABC mehr...