关于几个箭头符号含义的介绍

最近读文献，发现几个箭头比较有意思，如下图。

1）斜下方箭头和斜上方箭头，前者是从右逼近，后者是从左逼近。

 

 

2）downward的箭头：

3） ↦箭头

↦ is part of a function definition.

4）=> derive