Как выровнять по центру два уравнения, разделенные линией

Question

Мне нужно было выровнять по центру два логических уравнения, в которых не используется знак «=». Мне также нужно разделить уравнения линией. В настоящее время я использую выровненную среду и середину. Можно ли выровнять уравнения по центру, а не по правому краю? Ниже приведен минимальный рабочий пример:

\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

Надеюсь, вы поняли свой вопрос. Я добавляю свой 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}