∾

See also: Appendix:Variations of "="

∾ U+223E, ∾ INVERTED LAZY S ← ∽ [U+223D] Mathematical Operators ∿ → [U+223F]

Translingual

Description

An inverted lazy S.

Symbol

∾

1. (mathematics) logical negation^[1]

Usage notes

Resembles manuscript variants of the infinity sign, ∞ (e.g. in Euler's notebooks).

References

1. Kurt Gödel, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (1931), DOI 10.1007/BF01700692, page 177