Handle beamer's \qedsymbol

[muzimuzhi]

beamer has

\def\qedsymbol{\leavevmode\hbox{\usebeamertemplate*{qed symbol}}}

This makes

\declaretheoremstyle[qed=\qedsymbol]{my style}

fail because currently thmtools does

thmtools/source/thm-amsthm.dtx

Lines 140 to 151 in 16b1155

	\define@key{thmdef}{qed}[\qedsymbol]{%
	\thmt@trytwice{}{%
	\addtotheorempostheadhook[\thmt@envname]{%
	\protected@edef\qedsymbol{#1}%
	\pushQED{\qed}%
	}%
	\addtotheoremprefoothook[\thmt@envname]{%
	\protected@edef\qedsymbol{#1}%
	\popQED
	}%
	}%
	}

See TeX-SX question https://tex.stackexchange.com/q/565808.

[muzimuzhi]

qed=<value> will redefine \qedsymbol to <value>. To allow input qed=\qedsymbol and avoid self-reference, currently thmtools uses \protected@edef\qedsymbol{<value>}. This makes strong assumption on not only the definition of \qedsymbol, but also the whole <value>.

A possible fix: always use mirrored \thmqedsymbol in qed=<value>

diff --git a/source/thm-amsthm.dtx b/source/thm-amsthm.dtx
index b45a6c2..3d6c081 100644
--- a/source/thm-amsthm.dtx
+++ b/source/thm-amsthm.dtx
@@ -137,14 +137,19 @@
 %  }
 }
 
+\@ifl@t@r\fmtversion{2020/10/01}
+  {\def\thmt@let{\DeclareCommandCopy}}
+  {\def\thmt@let{\let}}
+
 \define@key{thmdef}{qed}[\qedsymbol]{%
+  \thmt@let\thmqedsymbol\qedsymbol
   \thmt@trytwice{}{%
     \addtotheorempostheadhook[\thmt@envname]{%
-      \protected@edef\qedsymbol{#1}%
+      \def\qedsymbol{#1}%
       \pushQED{\qed}%
     }%
     \addtotheoremprefoothook[\thmt@envname]{%
-      \protected@edef\qedsymbol{#1}%
+      \def\qedsymbol{#1}%
       \popQED
     }%
   }%