U+21CF "⇏" Rightwards Double Arrow with Stroke Unicode Character

U+21CF "⇏" Rightwards Double Arrow with Stroke is a mathematical symbol used to denote negation, specifically that one statement does not logically imply another or that a particular implication is false. It visually represents a cancellation or rejection of the normal rightward double arrow (⇒), which typically signifies logical implication or material conditional. In formal logic and mathematics, this symbol appears in contexts where a proposed implication is asserted to be invalid, such as in proofs or in the statement "P does not imply Q."