x
Mapsto notation — LessWrong