A leftward arrow with an upward hook at its tail, commonly used to denote retractions or pullbacks in category theory.
Examples
Function retraction notation
f: Y \hookleftarrow X
Category theory pullback
A \times_C B \hookleftarrow B
Return value in algorithm notation
\text{compute}(x) \hookleftarrow \text{result}