\xymatrix{ \mathbb{X} \ar[r]^-F \ar[d]^-\pi & \mathbb{X} \ar[d]^-\pi \\ \mathbb{Y} \ar[r]^-f & \mathbb{Y} }