Correct some charid values in lib/symbols. Fixes #9823.

This commit is contained in:
Günter Milde 2015-11-13 14:01:32 +01:00
parent 8021c0b0dc
commit 137575010c

View File

@ -681,9 +681,9 @@ RIGHTarrow wasy 17 0 textmode ▶ wasysym # works in text
LEFTarrow wasy 16 0 textmode ◀ wasysym # works in text mode only (produces \imath in math mode)
UParrow wasy 75 0 textmode ▲ wasysym # works in text mode only (produces K in math mode)
DOWNarrow wasy 76 0 textmode ▼ wasysym # works in text mode only (produces L in math mode)
AC wasy 58 0 textmode x wasysym # works in text mode only
AC wasy 58 0 textmode ∿ wasysym # works in text mode only
\def\HF{\approx} wasysym
VHF wasy 64 0 x x
VHF wasy 64 0 x ≋ # triple tilde
Square wasy 50 0 x □
\def\CheckedBox{\Square\kern-0.8em\checked} wasysym
XBox wasy 52 0 x ⊠
@ -695,8 +695,7 @@ hexstar wasy 65 0 x ✶
varhexstar wasy 66 0 x ✶
davidsstar wasy 67 0 x ✡
diameter wasy 31 0 x ⌀
# Unicode is wrong, but a true alternate doesn't seem available.
invdiameter wasy 21 0 x ⌀
invdiameter wasy 21 0 x x # 2205 EMPTY SET and 2300 DIAMETER SIGN are similar but not quite right
varangle wasy 30 0 x ∢
wasylozenge wasy 53 0 x ⌑
kreuz wasy 54 0 x ✠