![如何使 \mid 更长?](https://linux22.com/image/272436/%E5%A6%82%E4%BD%95%E4%BD%BF%20%5Cmid%20%E6%9B%B4%E9%95%BF%EF%BC%9F.png)
我有以下表达
$$\left\{\varphi\in\text{End}\left({\widetilde{E}/\overline{\F}_{\Pf}}\right)\mid \varphi\text{Frob}_{\Pf}=\text{Frob}_{\Pf}\varphi\right\}$$
并想知道如何将的长度\mid
与的长度\left\{
和相匹配\right\}
。谢谢!
答案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 文档中使用;而应使用\[...\]
。由于我不知道某些命令的定义,因此我暂时定义了它们。
答案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
(\{
和\}
在单独的行上),因此在这种情况下,人们可能希望能够引用给定集合的符号,以防以后有人想改变符号。