“Not Y”.
The prefix tilde, “~”, is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of “¬” (U+00AC, HTML entity “¬”, and latex “\lnot”) . On that page are a few other common notations.
“Not Y”.
The prefix tilde, “~”, is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of “¬” (U+00AC, HTML entity “¬”, and latex “\lnot”) . On that page are a few other common notations.