答案1
我猜你想要这样的东西:
\documentclass{article}
\usepackage{amsmath,amssymb,mathtools}
\usepackage{tikz-cd}
\newcommand{\F}{\mathbb{F}}
\newcommand{\td}{:}
\begin{document}
\begin{tikzcd}[arrows = dash, row sep = 0.5cm,column sep=-0.8em]
\F[x]
\arrow[d]
\\
\F_n[x]
\arrow[d,"n+1"]
& {} = \{ f \in \F[x] \td \deg f < n \}
\\
\F
\end{tikzcd}
\end{document}