在模方程组中以 \vdots 为中心

Question

我想在模方程组中用 \equiv 来居中 \vdots。我尝试使用mathrel{\makebox[\widthof{=}]{\equiv}}类似这个。但 XeLaTeX 说

! Extra }, or forgotten $.
\@settodim #1#2#3->\setbox \@tempboxa \hbox {{#3}}
                                              \dimen@ii =\z@ \@tf@r \res...
l.238   \end{frame}
               
! Missing number, treated as zero.

我的全文：

\[
  \begin{cases}
    x \equiv a_1 &\pmod{m_1}\\
    \mathrel{\makebox[\widthof{\equiv}]{\vdots}}\\
    x \equiv a_n &\pmod{m_n}
  \end{cases}
 \]

我尝试手动输入≡，但 XeLaTeX 无法显示。有什么想法吗？

Answer 1

将 @daleif 建议与empheq包结合起来以模拟numcases环境。您不必加载，mathtools因为 empheq 会为您完成。如果您只想为整个系统使用一个数字，请aligned在内部使用equation：

\documentclass{article}
\usepackage[overload]{empheq}%

\begin{document}     

\begin{align}[left = \empheqlbrace]%
    x &\equiv a_1\pmod{m_1}\\
    & \vdotswithin{\equiv}\notag \\
    x &\equiv a_n\pmod{m_n}
    \end{align}
    \vskip 1cm
    \begin{equation}[left = \empheqlbrace]
   \begin{aligned}%
    x &\equiv a_1\pmod{m_1}\\
    & \vdotswithin{\equiv}\\
    x &\equiv a_n\pmod{m_n}
    \end{aligned}
    \end{equation}

\end{document}