Logical not sign drawn with a double stroke, a negation variant in logic.
U+2AEBDOUBLE UP TACKU+2AEDREVERSED DOUBLE STROKE NOT SIGNU+2AEADOUBLE DOWN TACKU+2AEEDOES NOT DIVIDE WITH REVERSED NEGATION SLASHU+2AE9SHORT UP TACK ABOVE SHORT DOWN TACKU+2AEFVERTICAL LINE WITH CIRCLE ABOVEU+2AE8SHORT UP TACK WITH UNDERBARU+2AF0VERTICAL LINE WITH CIRCLE BELOWU+2AE7SHORT DOWN TACK WITH OVERBARU+2AF1DOWN TACK WITH CIRCLE BELOWU+2AE6LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICALU+2AF2PARALLEL WITH HORIZONTAL STROKE256 characters in the Supplemental Mathematical Operators Unicode block, from number 237.
U+2AECDOUBLE STROKE NOT SIGNU+2AEDREVERSED DOUBLE STROKE NOT SIGNU+2AEEDOES NOT DIVIDE WITH REVERSED NEGATION SLASHU+2AEFVERTICAL LINE WITH CIRCLE ABOVEU+2AF0VERTICAL LINE WITH CIRCLE BELOWU+2AF1DOWN TACK WITH CIRCLE BELOWU+2AF2PARALLEL WITH HORIZONTAL STROKEU+2AF3PARALLEL WITH TILDE OPERATORU+2AF4TRIPLE VERTICAL BAR BINARY RELATIONU+2AF5TRIPLE VERTICAL BAR WITH HORIZONTAL STROKEU+2AF6TRIPLE COLON OPERATORU+2AF7TRIPLE NESTED LESS-THANU+2AF8TRIPLE NESTED GREATER-THANU+2AF9DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TOU+2AFADOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TOU+2AFBTRIPLE SOLIDUS BINARY RELATIONU+2AFCLARGE TRIPLE VERTICAL BAR OPERATORU+2AFDDOUBLE SOLIDUS OPERATORU+2AFEWHITE VERTICAL BARU+2AFFN-ARY WHITE VERTICAL BAR