This is LaTeX code:
[latex]
\emptyset \neq S\subseteq T,\kern 2mm \iota:S\to T,\kern 2mm \iota(x)=x
[/latex]