U+21AE "↮" Left Right Arrow with Stroke Unicode Character

U+21AE "↮" Left Right Arrow with Stroke is a typographic symbol featuring a bidirectional horizontal arrow with a solid vertical line or stroke crossing through its center, indicating negation or cancellation of the left and right motion it represents. This character is primarily used in mathematics, logic, and formal notation to denote that a bidirectional relationship does not hold, such as the impossibility of an equivalence or a two-way implication between two statements. It appears in contexts like set theory, algebra, and computer science where operators or conditions must be clearly marked as false or invalid for both directions.