如何使 \mid 更长？

Question 1

对于中间可拉伸分隔符，您可以使用\middle：

\documentclass{article}
\usepackage{amsmath}

\newcommand\F{F}
\newcommand\Pf{Pf}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Frob}{Frob}

\begin{document}

\[
\left\{\varphi\in\End
\bigl(\widetilde{E}/\overline{\F}_{\Pf}\bigr)
\,\middle\vert\, 
\varphi\Frob_{\Pf}=\Frob_{\Pf}\varphi\right\}
\]

\end{document}

在此处输入图片描述

还请注意使用\DeclareMathOperator来为“End”和“Frob”生成正确的字体和间距。此外，$$...$$不应在现代 LaTeX 文档中使用；而应使用\[...\]。由于我不知道某些命令的定义，因此我暂时定义了它们。

Answer

对于中间可拉伸分隔符，您可以使用\middle：

\documentclass{article}
\usepackage{amsmath}

\newcommand\F{F}
\newcommand\Pf{Pf}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Frob}{Frob}

\begin{document}

\[
\left\{\varphi\in\End
\bigl(\widetilde{E}/\overline{\F}_{\Pf}\bigr)
\,\middle\vert\, 
\varphi\Frob_{\Pf}=\Frob_{\Pf}\varphi\right\}
\]

\end{document}

在此处输入图片描述

还请注意使用\DeclareMathOperator来为“End”和“Frob”生成正确的字体和间距。此外，$$...$$不应在现代 LaTeX 文档中使用；而应使用\[...\]。由于我不知道某些命令的定义，因此我暂时定义了它们。

Question 2

为了完整性，下面是我通常使用的

\usepackage{mathtools}
\DeclarePairedDelimiterX\Set[2]{\{}{\}}{#1\,\delimsize\vert\,#2}

2014 年编辑。使用\Set{A}{B}一段时间后，这个语法不是特别自然，与实际含义相差太远。我现在改用这个

\providecommand\given{} % is redefined in \Set
\newcommand\SetSymbol[1][]{\nonscript\:#1\vert\nonscript\:}
\DeclarePairedDelimiterX\Set[1]{\{}{\}}{
  \renewcommand\given{\SetSymbol[\delimsize]}
  #1
}

现在我们可以简单地使用

\Set{ x\in A \given x^2 > 1 }

更接近数学意义。

我使用是\SetSymbol因为存在非常复杂的集合构造，在这些构造中不能使用\Set（\{和\}在单独的行上），因此在这种情况下，人们可能希望能够引用给定集合的符号，以防以后有人想改变符号。

Answer