# →

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