I've repeatedly encountered the following notation for mappings in computer science papers: enter image description here

I believe, however, that the correct notation is the barred right-pointing arrow, like this:

enter image description here

I think the first notation is a bit illogical and counterintuitive, to be clear. Am I missing something, or is this perhaps a computer science idiosyncracy?

  • 13
    The left arrow here denotes assignment, not "mapping". It's standard notation in computer science, commonly used in pseudocode. This site isn't really the right place for questions like this; cs.stackexchange.com would be better. – Nate Eldredge Jan 1 '17 at 22:06