La plaza Halmos rompe con XCharter/ensuremath

Question

Estoy intentando definir un \QEDcomando que invoque \square(definido en amssymb. Considere el siguiente MWE:

\documentclass{article}

\RequirePackage{amsmath}
\RequirePackage{amssymb}
\RequirePackage[scaled=0.96, sups, scosf, osf]{XCharter}

\RequirePackage[warnings-off={mathtools-colon,mathtools-overbracket}]{unicode-math}
\setmathfont{XCharter-Math.otf}
\def\QED{\ensuremath{{\square}}}

\begin{document}

\QED
$\square$

\end{document}

Esto se compila a lo siguiente:

donde $\square$se muestra correctamente pero no \ensuremath{{\square}}. ¿Por qué?

Answer 1

unicode-mathdefine \QEDcomo U+220E ∎ pero hace su definición, \AtBeginDocumentpor lo que sobrescribe su definición \QEDy la fuente elegida no tiene el carácter.

\documentclass{article}

\RequirePackage{amsmath}
\RequirePackage{amssymb}
\RequirePackage[scaled=0.96, sups, scosf, osf]{XCharter}

\RequirePackage[warnings-off={mathtools-colon,mathtools-overbracket}]{unicode-math}
\setmathfont{XCharter-Math.otf}
\AtBeginDocument{\def\QED{\ensuremath{{\square}}}}

\begin{document}


X
\QED
$\square$


\end{document}