So zentrieren Sie zwei durch eine Linie getrennte Gleichungen

Question

Ich wollte zwei logische Gleichungen zentrieren, die kein "="-Zeichen verwenden. Außerdem möchte ich die Gleichungen durch eine Linie trennen. Derzeit verwende ich die ausgerichtete Umgebung und die Mittellinie. Können die Gleichungen zentriert statt rechtsbündig ausgerichtet werden? Das minimale funktionierende Beispiel ist unten angegeben:

\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

alignedMan könnte die Umgebung durch eine Umgebung ersetzen gathered, die ihren Inhalt zeilenweise zentriert.

\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

Ich hoffe, Sie verstehen Ihre Frage. Ich füge mein MWE hinzu, indem ich zwei logische Gleichungen ohne Gleichheitszeichen zentriere und die Gleichungen mit einer Linie trenne.

\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}