xtofrom

Represents a bidirectional arrow with text above indicating correspondence or mapping between elements.

Overview

Commonly used in mathematical notation to show transformations, mappings, or relationships between sets, variables, or expressions. This specialized arrow notation is particularly valuable in:

Category theory for depicting morphisms and functors
Abstract algebra for showing bijective mappings
Set theory for demonstrating one-to-one correspondences
Mathematical transformations where explicit labeling of the conversion process is needed

Examples

Showing bidirectional correspondence between two mathematical expressions.

x \xtofrom{f} y

x \xtofrom{f} y

Indicating a reversible chemical reaction with a catalyst.

\text{A} + \text{B} \xtofrom{\text{cat.}} \text{C} + \text{D}

\text{A} + \text{B} \xtofrom{\text{cat.}} \text{C} + \text{D}

Representing a two-way mapping between sets.

X \xtofrom{\phi} Y

X \xtofrom{\phi} Y