Logical not mathematical notation

Logical not is a recurring research-paper notation family. Reverses a proposition's truth value, turning a true claim false and a false claim true.

Logical not: Reverses a proposition's truth value, turning a true claim false and a false claim true. Example: The statement says x is not positive.