如何在 LaTeX 中写出这个完整的符号

Question

请告诉我如何用 LaTeX 编写此代码。我尝试使用数组，\underset但效果不理想

Answer 1

您可以使用tikz-cd补充LaRiFaRi 的回答很精彩以及一些小技巧。

1. 第一列和第二列之间的间距减小了。
2. \mathbb{R}顶部的上标已赋以零宽度，因此平衡性更好。

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{tikz-cd}

% from https://tex.stackexchange.com/a/216042/4427
\tikzset{
  symbol/.style={
    draw=none,
    every to/.append style={
      edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
  }
}

\begin{document}

\[
\begin{tikzcd}[row sep=small]
&[-1.5em] & \mathbb{R}^{\mathrlap{n}} \\
\mathbb{R}^m \arrow[r,symbol={\supset}] &
U \arrow[r,"f"] &
V \arrow[r,"g"] \arrow[u,symbol={\subset}]&
\mathbb{R}^k \\
& a \arrow[u,symbol={\in}] \arrow[r,mapsto] & b \arrow[u,symbol={\in}]
\end{tikzcd}
\]

\end{document}