"mapsto" - key terms from Wikipedia