#import "@preview/fletcher:0.5.4" as fletcher: diagram, node, edge
 
#diagram(cell-size: 15mm, $
	G edge(f, ->) edge("d", pi, ->>) & im(f) \
	G slash ker(f) edge("ur", tilde(f), "hook-->")
$)
π‘“πœ‹Μƒπ‘“πΊim(𝑓)𝐺/ker(𝑓)