\updownarrow

The \updownarrow symbol is used to represent a bidirectional arrow, indicating a relationship or connection that goes both ways. It is often used in mathematical logic, set theory, and computer science to denote equivalence or duality between two entities.

Examples

Indicates a bidirectional relationship between A and B

A \updownarrow B

Represents a duality or equivalence between x and y

x \updownarrow y

Used in logic to show that P and Q are equivalent or interchangeable

P \updownarrow Q