<commands>
  <command name="\begin{proof}" text="\begin{proof}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\begin{proof}[•]" text="\begin{proof}[•]" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="heading###" />
  <command name="\end{proof}" text="\end{proof}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\newtheoremstyle{•}{•}{•}{•}{•}{•}{•}{•}{•}" text="\newtheoremstyle{•}{•}{•}{•}{•}{•}{•}{•}{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="style name###space above###space below###body font###indent amount###head font###head punct###after head space###head spec###" />
  <command name="\newtheorem*{•}{•}" text="\newtheorem*{•}{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="envname###caption###" />
  <command name="\proofname" text="\proofname" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\qed" text="\qed" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\qedhere" text="\qedhere" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\qedsymbol" text="\qedsymbol" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\swapnumbers" text="\swapnumbers" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="" />
  <command name="\theoremstyle{•}" text="\theoremstyle{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="style###" />
  <command name="\thmname{•}" text="\thmname{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="arg###" />
  <command name="\thmnote{•}" text="\thmnote{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="arg###" />
  <command name="\thmnumber{•}" text="\thmnumber{•}" onlymath="False" onlytext="False" onlytabular="False" onlytabbing="False" lowpriority="False" description="" dotlabels="arg###" />
</commands>