The symbol used to denote the negation operation ("NOT") in symbolic logic, also called "logical not."
Negation Sign
See also
NOTExplore with Wolfram|Alpha
References
Bringhurst, R. The Elements of Typographic Style, 2nd ed. Point Roberts, WA: Hartley and Marks, p. 281, 1997.Referenced on Wolfram|Alpha
Negation SignCite this as:
Weisstein, Eric W. "Negation Sign." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/NegationSign.html