Como alinhar ao centro duas equações separadas por uma linha

Question

Eu queria centralizar duas equações lógicas que não usam o sinal "=". Também quero separar as equações com uma linha. Atualmente utilizo ambiente alinhado e midrule. As equações podem ser alinhadas ao centro em vez de alinhadas à direita? O exemplo mínimo de trabalho é fornecido abaixo:

\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

Você pode substituir o alignedambiente por um gatheredambiente que centralize seu conteúdo linha por linha.

\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

Espero que você entenda sua pergunta. Eu adiciono meu MWE centralizando duas equações lógicas sem sinal de igual e separo as equações com uma linha.

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