\begin{thm}[hi :3 /-sd:sd/:  0g9yc2)_@(&!*%IU"]
meowmeow :3
\end{thm}
