선으로 구분된 두 방정식을 가운데 정렬하는 방법

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}