mathtools 的文档给出了一个定义有用的 Set 命令的示例(2022/06/29 版本的第 27 页):
% just to make sure it exists
\providecommand\given{}
% can be useful to refer to this outside \Set
\newcommand\SetSymbol[1][]{%
\nonscript\:#1\vert
\allowbreak
\nonscript\:
\mathopen{}}
\DeclarePairedDelimiterX\Set[1]\{\}{%
\renewcommand\given{\SetSymbol[\delimsize]}
#1
}
哪个使用
\[ \Set*{ x \in X \given \frac{\sqrt{x}}{x^2+1} > 1 } \]
这让我怀疑是否可以在自定义 .cwl 文件中定义适当的快捷方式,以便仅当它在 \Set 命令主体的上下文中时才验证 \given。
这可能吗?