x
Mapsto notation - History — LessWrong