Symbols:Greek/Iota

Inclusion Mapping
Used by some sources to denote the mapping on $S$ to $T$ where $S \subseteq T$:
 * $\iota_S: S \to T: \forall x \in S: \iota_S \left({x}\right) = x$