\hookleftarrowThe \hookleftarrow symbol is used in mathematical notation to represent a type of arrow that hooks to the left. It is often used in category theory and other areas of mathematics to denote a special type of morphism or function, such as an inclusion map.
Indicates that set A is included in set B via an inclusion map.
A \hookleftarrow BRepresents a function f that is an inclusion from set Y to set X.
f: X \hookleftarrow YUsed to denote that one set is a subset of another, with emphasis on the inclusion map.
\hookleftarrow: \text{Subset inclusion}