☰

仅支持一些方程式

tag-icon • tag-icon equations align arrays braces
仅支持一些方程式

我一直在尝试但很长时间都未能获得以下结果：

我已经排列了 6 个方程式，我想用一些文本来支撑其中的前 4 个方程式。

但我的结果是这样的： 已编译

如果我能让括号只围住前 4 个，并且仍然与其他方程式对齐，那就太好了！

到目前为止代码看起来像这样：

 \documentclass{article}
\usepackage{amsmath}
\usepackage{stmaryrd}
\begin{document}
    \begin{equation*}
    \begin{aligned}
    \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
    \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
    \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
    \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  
    \end{aligned}
    \begin{aligned}
    &\left.\vphantom{\begin{aligned}
        \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
        \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
        \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
        \llbracket \varphi \rrbracket_v &= \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  
        \end{aligned}}\right\rbrace\quad\text{three equations}\\
    &\left.\vphantom{\begin{aligned}
        \implies m &= n \\
        o &= p*q
        \end{aligned}} \right.
    \end{aligned}
    \end{equation*}
\end{document}

答案1

使用数组和bigdelim包的简单解决方案：

\documentclass{article}
\usepackage{array, bigdelim}
\usepackage{stmaryrd} 
\usepackage{mathtools}

\begin{document}

\begin{equation*}
    \begin{array}{r@{}l@{\:}l}
    \llbracket\varphi\rrbracket_v &{}=\bigl \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi\bigr\}&\rdelim\}{4}{*}[\text{\quad three equations}] \\[1ex]
     \llbracket\varphi\rrbracket_v &{}=\bigl \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \bigr\} \\[1ex]
    \llbracket \varphi \rrbracket_v &{}=\bigl \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \bigr\} \\[1ex]
    \llbracket \varphi \rrbracket_v &{}=\bigl \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \bigr\}
    \end{array}
\end{equation*}

\end{document}

在此处输入图片描述

答案2

有了stmaryrd，nicematrix和 就tikz相对容易了：

在此处输入图片描述

\documentclass{article}
\usepackage{stmaryrd}
\usepackage{nicematrix}
\usepackage{tikz}
\usetikzlibrary{decorations.pathreplacing,
                calligraphy}
\tikzset{
B/.style = {decorate,
            decoration={calligraphic brace, amplitude=4pt,
            raise=1mm},
            very thick,
            pen colour=red}
        }

\begin{document}
    \[
\begin{NiceArray}{c @{\,} c<{\strut}}%
[create-extra-nodes, 
 code-after = {\begin{tikzpicture}
        \draw[B] (1-2.north east) -- node[right=2mm] {four equation} (4-2.south east);
              \end{tikzpicture}
              }
]
\llbracket \varphi \rrbracket_v
    & = \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
\llbracket \varphi \rrbracket_v
\llbracket \varphi \rrbracket_v
    & = \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
\llbracket \varphi \rrbracket_v
    & = \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
\llbracket \varphi \rrbracket_v
    & = \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}  \\
\llbracket \varphi \rrbracket_v
    & = \{\overline{(w, \sigma)} \in N_V \mid (w, \sigma) \models \varphi \}
\end{NiceArray}
    \]
\end{document}

您需要至少编译两次才能显示结果。

相关内容