上下文敏感集合形成运算符

Question

在我的作品中我通常使用

\{x\mid\varphi(x)\}

作为集合形成运算符。在我看来，它的缺点是垂直笔划总是相同的，与上下文无关。是否有任何包可以使\mid上下文敏感？当我例如使用

\Bigl\{x\mid\varphi\}\Bigr

的高度\mid是否调整为括号的高度？如果没有，您能否提示我如何定义它以以这种方式工作？