答案1
一种方法是使用tikz-cd
。
\documentclass{article}
\usepackage{geometry}
\usepackage{amsmath}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}[/tikz/column 1/.style={column sep=4em},
/tikz/column 4/.style={column sep=4em},
every arrow/.append style={-stealth,semithick}]
& \text{divisor} \arrow[rr]& & \text{existence}
\arrow[dr,rounded corners=1em,to path={-- ++ (4em,0) |- (\tikztotarget)}]& \\
\text{UFD}
\arrow[ur,rounded corners=1em,to path={-- ++ (4em,0) |- (\tikztotarget)}]
\arrow[dr,rounded corners=1em,to path={-- ++ (4em,0) |- (\tikztotarget)}]
& & & & \text{UFD} \\
& \text{GCD}\arrow[r] & \text{primeness}\arrow[r,"" {marking,name=p,pos=0.8}] &
\arrow[from=1-2,to=p,dash,out=0,in=180]
\text{uniqueness}
\arrow[ur,rounded corners=1em,to path={-- ++ (4em,0) |- (\tikztotarget)}]& \\
\end{tikzcd}
\end{document}