線で区切られた2つの方程式を中央揃えにする方法

Question

「=」記号を使用しない 2 つの論理方程式を中央揃えにしたいと考えていました。また、方程式を線で区切りたいと考えていました。現在、aligned 環境と midrule を使用しています。方程式を右揃えではなく中央揃えにすることはできますか? 最小限の動作例を以下に示します。

\documentclass[border=3mm,preview]{standalone}
\usepackage{amsmath}
\usepackage{booktabs}

\begin{document}

    \begin{equation*}
    \begin{aligned}
        \forall_{t \in firing} \quad \forall_{a \in t \bullet} \quad a \in AN\\
        \midrule
        \mu^\prime_{an} = (\mu_{an} - \bullet t) \cup a, \quad c(a) = 0 \\
    \end{aligned}
    \end{equation*}
\end{document}

Answer 1

環境を、内容を行ごとに中央揃えする環境alignedに置き換えることができます。gathered

\documentclass[border=3mm,preview]{standalone}
\usepackage{amsmath}
\usepackage{booktabs}
\begin{document}
    \begin{equation*}
    \begin{gathered} % 'gathered' instead of 'aligned'
        \forall_{t \in \textit{firing}} \quad \forall_{a \in t \bullet} \quad a \in AN\\
        \midrule
        \mu^\prime_{an} = (\mu_{an} - \bullet t) \cup a, \quad c(a) = 0 
    \end{gathered}
    \end{equation*}
\end{document}

Answer 2

ご質問を理解していただければ幸いです。等号なしの 2 つの論理方程式を中央に配置して MWE を追加し、方程式を線で区切ります。

\documentclass[a4paper]{article}
\usepackage{amsmath,amssymb,booktabs}
\begin{document}

$\begin{array}{@{}c@{}}
\forall_{t\in\mathit{firing}} \quad \forall_{a\in t\bullet} \quad a\in AN \\
\specialrule{.05em}{1em}{0em}\\
\mu'_{an} = (\mu_{an} - \bullet t) \cup a, \quad c(a) = 0 \\[.5em]
\specialrule{.2em}{.1em}{.1em} % optional
\end{array}$

\end{document}