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... _______________________________________________ ntg-context mailing list [EMAIL PROTECTED] http://www.ntg.nl/mailman/listinfo/ntg-context
