→

($1)$2 | $3 ($4) | $5 ($6)

The notation means " is a function with domain and codomain ". The LaTeX symbol is \to (or \rightarrow).