[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