垂直杆/管道周围的空间

Question

我是 Latex 的新手，正在尝试用它完成家庭作业。我的教授的笔记（用 Latex 写成）包含如下公式：

当我尝试使用 Latex 重新创建此公式时，我的版本如下所示：

这两个渲染图之间存在一些差异，但最令我困扰的是，我教授的烟斗字符（|）两侧都有适量的水平空白，而我的烟斗周围几乎没有空间。

我怎样才能让我的管道角色看起来像我的教授的？他使用的角色与我不同吗？

以下是我使用的代码：

\[
  E_1 =  \big\{ \langle 5, j \rangle \big| j \in \{1, \cdots, n \} - \{ 5 \} \big\}
\]

Answer 1

\mid| 是用作中缀运算符 的命令。还请注意big\{，应该是\bigl\{和\big\}应该是\bigr\}，否则您会丢失分隔符上的打开/关闭间距，但不幸的是，您不能使用变\bigm体，\mid因为它不是分隔符，因此您需要\bigm|：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

aaa
\[
  E_1 =  \{ \langle 5, j \rangle \mid j \in \{1, \cdots, n \} - \{ 5 \} \}
\]

bbb
\[
  E_1 =  \bigl\{ \langle 5, j \rangle \bigm| j \in \{1, \cdots, n \} - \{ 5 \} \bigr\}
\]
\end{document}

Answer 2

我建议用包和来\set定义宏和，使用简单的语法：和。\innerpxparsemathtools\set{x;P(x)}\innerp{x,y}

\left \right这些命令有一个带星号的版本，它在分隔符前面添加了一对隐式的，并确保了适当的间距。它们还可以将其中一个作为可选参数\big, \Big, \bigg, \Bigg，同样会添加一对隐式的\bigl \bigr，等等。

\documentclass{article}
\usepackage[utf8]{inputenc}

\usepackage{xparse}
\usepackage{mathtools}

\DeclarePairedDelimiterX{\set}[1]\{\}{\setargs{#1}}
%%% Syntax: \set{x ; P(x)})
\NewDocumentCommand{\setargs}{>{\SplitArgument{1}{;}}m}
{\setargsaux#1}
\NewDocumentCommand{\setargsaux}{mm}
{\IfNoValueTF{#2}{#1}{\nonscript\,#1\nonscript\;\delimsize\vert\nonscript\:\mathopen{} #2\nonscript\,}}

\DeclarePairedDelimiterX{\innerp}[1]{\langle}{\rangle}{\innpargs{#1}}
%%% Syntax: \innerp{x,y}
\NewDocumentCommand{\innpargs}{ >{\SplitArgument{1}{,}}m }
 {\innpargsaux#1}
\NewDocumentCommand{\innpargsaux}{ m m }
 {#1\:,\,\mathopen{}#2}%

\begin{document}

\[
  E_1 = \set*{ \innerp{5, j} ; j \in \set{1, \cdots, n } - \set{5} }
\]

\[
  E_1 = \set[\Big]{ \innerp{5, j} ; j \in \set{1, \cdots, n } - \set{5} }
\]

\end{document}