specify T1 font encoding for characters like pipe