答案1
答案2
代码语法与 nice 略有不同塞巴斯蒂亚诺回答:-)
\documentclass[border=3mm]{standalone}
\usepackage{tikz-cd}
\begin{document}
%---------------------------------------------------------------%
\begin{tikzcd}[column sep=large, row sep=large]
L
\arrow{r}{\varepsilon}
\arrow[swap]{d}{\forall\delta}
&
U(L)
\arrow{dl}{\exists ! f} \\
%
D
&
\end{tikzcd}
\end{document}