在elegantnote模板中使用proof环境的\qedsymbol失效？

[Explorer-cc]

Question

如题，直接使用proof并不会在默认显示「证毕」符号

\documentclass[lang=cn]{elegantnote}
\usepackage{lipsum}
\begin{document}

\begin{proof}
\lipsum[1][1-4]
\end{proof}

\end{document}

Solution1

自己补上定义：

\documentclass[lang=cn]{elegantnote}
\usepackage{lipsum}
\usepackage{amssymb}
\renewcommand{\qedsymbol}{\ensuremath{\square}}
\begin{document}

\begin{proof}
\lipsum[1][1-4]
\end{proof}

\end{document}

Solution2

更进一步检索，由amsthm定义的proof环境使用的\qedsymbol依赖于\openbox，但不知为何：

ElegantNote/elegantnote.cls

Line 223 in b2862a0

\let\openbox\relax

ElegantNote/elegantnote.cls

Line 277 in b2862a0

\let\openbox\relax

实测注释这两行似乎也没问题.... 可以正常显示 \qedsymbol

---

本 issues 想讨论的问题是：这里对 \openbox 的操作是刻意为之吗？意义是？

related issue in elegantbook, but no why?