All corrections
en.wikipedia.org/wiki/List_of_logic_symbols#Modal_logic
1 correction found
1
Claim
˜ ˜
Correction
These HTML references do not match `U+007E`. `˜` and `˜` denote `U+02DC SMALL TILDE`, not the ASCII tilde `U+007E`.
Full reasoning
The row identifies the symbol as ~ with Unicode U+007E. But the listed HTML references are ˜ and ˜, and those correspond to U+02DC SMALL TILDE (˜), not U+007E TILDE (~).
Authoritative standards sources make this explicit:
- Unicode lists
007Eas TILDE (~). - The W3C entity table lists
tildeasU+02DC SMALL TILDE.
So the HTML codes shown here are mismatched for the stated Unicode code point. For U+007E, the correct numeric character reference is ~ (or the literal ~).
2 sources
- ISODIA
tilde U+02DC SMALL TILDE =tilde DiacriticalTilde
- Unicode NamesList: U+0000 block
`007E` | ~ | Tilde ... → `02DC` ˜ small tilde