可換図式
代数学のテキストでは、典型的な射はいろいろな形の矢で表記できる:単射は ↪ {\displaystyle \hookrightarrow } で、全射は ↠ {\displaystyle \twoheadrightarrow } で、同型射は → ∼ {\displaystyle {\overset {\sim }{\rightarrow }}} で。破線の矢は一般に、図式の残りが成り立つときにはいつでもその射が存在する、という主張を表現する。これは十分一般的でありテキストではしばしばこれらの矢の意味が説明されない。