E 1 → f E 2 π 1 ↓ ↓ π 2 X 1 → g X 2 {\displaystyle {\begin{aligned}E_{1}&{\xrightarrow {f}}&E_{2}\\\pi _{1}{\Bigg \downarrow }&&{\Bigg \downarrow }{\pi _{2}}&\\X_{1}&{\xrightarrow[{g}]{}}&X_{2}\end{aligned}}}
↓ [ π 1 ] K 3 {\displaystyle {\Bigg \downarrow }[\pi _{1}]{K_{3}}}