\harrThe \harr command in LaTeX is used to produce a horizontal double-headed arrow, often used to indicate equivalence or a bidirectional relationship between two expressions.
Indicates a bidirectional relationship between A and B
A \harr BShows that x is equivalent to y in both directions
x \harr yRepresents logical equivalence between propositions P and Q
P \harr Q