$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
4.84
\begin{equation} \begin{gathered}\label{equation:locally-truncated-exponentiation} \xymatrix@C =50pt@R=50pt{ A' \ar [r] \ar [d] & \operatorname{Fun}(B,\operatorname{\mathcal{C}}) \ar [d]^{F'} \\ B' \ar@ {-->}[ur] \ar [r] & \operatorname{Fun}(A, \operatorname{\mathcal{C}}) \times _{ \operatorname{Fun}(A, \operatorname{\mathcal{D}}) } \operatorname{Fun}(B, \operatorname{\mathcal{D}}) } \end{gathered} \end{equation}