■

Meanings of arrow symbols \rightarrow, \longmapsto

Function (mathematics) - Wikipedia

f: X\times X \rightarrow Y; (x, t) \longmapsto f(x, t)