在我的作品中我通常使用
\{x\mid\varphi(x)\}
作为集合形成运算符。在我看来，它的缺点是垂直笔划总是相同的，与上下文无关。是否有任何包可以使\mid上下文敏感？当我例如使用
\Bigl\{x\mid\varphi\}\Bigr
的高度\mid是否调整为括号的高度？如果没有，您能否提示我如何定义它以以这种方式工作？
上下文敏感集合形成运算符
在我的作品中我通常使用
\{x\mid\varphi(x)\}
作为集合形成运算符。在我看来，它的缺点是垂直笔划总是相同的，与上下文无关。是否有任何包可以使\mid上下文敏感？当我例如使用
\Bigl\{x\mid\varphi\}\Bigr
的高度\mid是否调整为括号的高度？如果没有，您能否提示我如何定义它以以这种方式工作？