\begin{Verbatim}[commandchars=\\\{\},codes={\catcode`\$=3\catcode`\^=7\catcode`\_=8\relax}]
\PYG{k}{\PYGZbs{}usepackage}\PYG{n+nb}{\PYGZob{}}amsthm\PYG{n+nb}{\PYGZcb{}}
\PYG{k}{\PYGZbs{}newtheorem}\PYG{n+nb}{\PYGZob{}}theorem\PYG{n+nb}{\PYGZcb{}}\PYG{n+nb}{\PYGZob{}}Theorem\PYG{n+nb}{\PYGZcb{}}[section]
\PYG{k}{\PYGZbs{}newtheorem}\PYG{n+nb}{\PYGZob{}}lemma\PYG{n+nb}{\PYGZcb{}}[theorem]\PYG{n+nb}{\PYGZob{}}Lemma\PYG{n+nb}{\PYGZcb{}}

\PYG{k}{\PYGZbs{}theoremstyle}\PYG{n+nb}{\PYGZob{}}definition\PYG{n+nb}{\PYGZcb{}}
\PYG{k}{\PYGZbs{}newtheorem}\PYG{n+nb}{\PYGZob{}}example\PYG{n+nb}{\PYGZcb{}}[theorem]\PYG{n+nb}{\PYGZob{}}Example\PYG{n+nb}{\PYGZcb{}}
\PYG{k}{\PYGZbs{}newtheorem}\PYG{n+nb}{\PYGZob{}}definition\PYG{n+nb}{\PYGZcb{}}[theorem]\PYG{n+nb}{\PYGZob{}}Definition\PYG{n+nb}{\PYGZcb{}}

\PYG{k}{\PYGZbs{}theoremstyle}\PYG{n+nb}{\PYGZob{}}remark\PYG{n+nb}{\PYGZcb{}}
\PYG{k}{\PYGZbs{}newtheorem}\PYG{n+nb}{\PYGZob{}}remark\PYG{n+nb}{\PYGZcb{}}[theorem]\PYG{n+nb}{\PYGZob{}}Remark\PYG{n+nb}{\PYGZcb{}}

\PYG{k}{\PYGZbs{}theoremstyle}\PYG{n+nb}{\PYGZob{}}definition\PYG{n+nb}{\PYGZcb{}}
\PYG{k}{\PYGZbs{}newtheorem}\PYG{k}{*}\PYG{n+nb}{\PYGZob{}}note\PYG{n+nb}{\PYGZcb{}}\PYG{n+nb}{\PYGZob{}}Note\PYG{n+nb}{\PYGZcb{}}
\end{Verbatim}