TeXipedia

xhookrightarrow

Renders an extensible right-pointing hooked arrow with optional text above it, commonly used in mathematical diagrams and category theory.

Overview

Provides a specialized arrow notation that combines a rightward direction with a hook, while allowing for variable-length text placement above the arrow shaft. This symbol is particularly valuable in:

  • Category theory for depicting specific types of morphisms
  • Commutative diagrams showing special mappings or transformations
  • Mathematical proofs where injective or hook mappings need to be emphasized
  • Algebraic structures when indicating specific types of homomorphisms

The extensible nature ensures the arrow automatically adjusts its length to accommodate any superscript text, maintaining visual clarity in complex mathematical expressions.

Examples

Showing a morphism with an injective mapping between algebraic structures.

A↪ϕBA \xhookrightarrow{\phi} B 
A \xhookrightarrow{\phi} B

Indicating a canonical inclusion of a subgroup with a specific index.

H↪[G:H]GH \xhookrightarrow{[G:H]} G 
H \xhookrightarrow{[G:H]} G

Representing an embedding of vector spaces with dimension information.

V↪dim⁡=nWV \xhookrightarrow{\dim=n} W 
V \xhookrightarrow{\dim=n} W