写像矢印
https://scrapbox.io/files/684d84596bdae21d59d02d0d.png
三線矢印の尾を線分で抑えた形。