Paragraph
\(h:\{1,2,3\} \to \{1,2,3\}\)
defined as follows:
in-context