From anonymous, 5 Years ago, written in Plain Text.
Embed
  1. \begin{tikzcd}[column sep=huge, row sep=huge]
  2. S \arrow{dr}{f = \left.\exp_p\right\vert_S} \arrow[hookrightarrow]{rr} \arrow{dd}{\pi} & & \bar{B}\arrow{dl}{\left.\exp_p\right\vert_{\bar{B}}} \arrow{dd}{\hat{\pi}} \\
  3. & M & \\
  4. \Phi \arrow{ur}{\tau} \arrow[hookrightarrow]{rr} & & \hat{M} \arrow{ul}{\hat{\tau}}
  5. \end{tikzcd}