x\overset{\text{maps\ to}}{\rightarrow}y
