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

diff --git a/lib/symbols b/lib/symbols
index 89fc41ae52841d13d79f301dc7bc4b2c4504990c..6106b46a3b7961ac2bd3be0f76109efdc526f48c 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -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        ✠