Maps to

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Function_(mathematics)/CdReEKCh">Arrow notation</a> – e.g., 
  
    
      
        x
        ↦
        x
        +
        1
      
    
    {\displaystyle x\mapsto x+1}
  
, also known as <i>map</i></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 1214. pp. 871–874. doi:10.1007/BFb0030650. ISBN 978-3-540-62781-4. <a href="978-3-540-62781-4" target="_blank">978-3-540-62781-4</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6) <a href="https://www.fileformat.info/info/unicode/char/21a6/index.htm" target="_blank">https://www.fileformat.info/info/unicode/char/21a6/index.htm</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Maps to open-in-new

Maps to