Symbol QED choinki [duplikat]

Question

Chcę zastąpić symbol \ qed lub \ qedsymbol choinką lub choinką w pudełku. Zrobiłem to już z buźką, używając \ renewcommand {\ qedsymbol} {\ smiley}, ale nie wiem, jak można by to zrobić używając choinki (ponieważ nie ma znaku choinki)

Answer 1

Podobnie jak nagrobki i kufle do piwa

\documentclass[11pt]{article}

\usepackage{graphicx}
\usepackage{amsthm}

\usepackage[a4paper,margin=1in,footskip=0.25in]{geometry}

\renewcommand\qedsymbol{\raisebox{-4pt}{\includegraphics[height=10pt]{christ_tree}}}

\begin{document}

    \begin{proof}
        Merry Christmas!
    \end{proof}
    
\end{document}