hbghlyj

发现\lbrace,\rbrace不会自动调整高度
\lbrace\frac{\sqrt3}{\sqrt2}\rbrace                         $\lbrace\frac{\sqrt3}{\sqrt2}\rbrace$
对比一下:
\left\{\frac{\sqrt3}{\sqrt2}\right\}                         $\left\{\frac{\sqrt3}{\sqrt2}\right\}$
floor,Vert,vert也不自动调整高度
$\lfloor\frac{\sqrt3}{\sqrt2}\rfloor$
$\lVert\frac{\sqrt3}{\sqrt2}\rVert$
$\lvert\frac{\sqrt3}{\sqrt2}\rvert$
能否renewcommand一下,让它们自动调高度

hbghlyj

回复 5# kuing
谢谢!

hbghlyj

又学了一招
把\mid改成\middle\vert就可以适应高度了,比如:
\begin{align*}
    \mathcal{D}(A):=\left\{X \subseteq A\ \middle\vert\ \begin{array}3\exists n\ \exists s \in A^n\ \exists R \in {\operatorname{Def}(A,n+1)} \\ \text{s.t.}\ X = \{a \in A \mid (a,s_0, \dotsc, s_{n-1}) \in R\}\end{array}\right\}
  \end{align*}