Used in symbolic logic, the ' ~ ', like ' ! ' and ' ¬' , is a truth-functional operator used to negate a proposition or formula.

For example, Proposition P is negated as ~P ( "Not P" or "it is Not the case that P") , and its opposite true.