[tex-live] tlmgr has weird characters

Iain Dalton iain.dalton at gmail.com
Fri Nov 13 10:17:44 CET 2009


The cat/nroff version of the tlmgr man page has the weird character
`⎪' instead of '|' for `OR'-options (for example,

     paper [a4⎪letter]
           xdvi⎪pdftex⎪dvips⎪dvipdfmx⎪dvipdfm⎪context paper [papersize⎪--list]

This is Unicode code point 23AA (CURLY BRACKET EXTENSION) instead of
code point 007C (VERTICAL LINE).  It prints as a diamond on my
terminal and a hollow box on my terminal emulator (in both fixed and
terminus fonts).

The HTML version, curiously, uses a normal pipe character (007C).


More information about the tex-live mailing list