Commutative diagram for the pullback of a smooth map between manifolds. \begin{diagram} T^{\ast}M & \lTo^{f^{\ast}} & T^{\ast}N \\ \dTo<{\pi_M} & & \dTo>{\pi_N}...
