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...