26 Jan
2004
26 Jan
'04
12:35 p.m.
Hi,
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? Patrick -- Morgen gibts kein ABC mehr...