diff --git a/app/views/markdownMML_help.rhtml b/app/views/markdownMML_help.rhtml
index 6239e892..22619a98 100644
--- a/app/views/markdownMML_help.rhtml
+++ b/app/views/markdownMML_help.rhtml
@@ -1,4 +1,4 @@
-<h3>Markdown+itex2MML formatting tips (<a target="_new" href="http://daringfireball.net/projects/markdown/syntax">basics</a>, <a target="_new" href="http://maruku.rubyforge.org/#extra">extended syntax</a>, <a target="_new" href="http://maruku.rubyforge.org/proposal.html">metadata</a>)</h3>
+<h3>Markdown+itex2MML formatting tips (<a target="_new" href="http://daringfireball.net/projects/markdown/syntax">basics</a>, <a target="_new" href="http://maruku.rubyforge.org/#extra">extended syntax</a>, <a target="_new" href="http://maruku.rubyforge.org/proposal.html">metadata</a>, <a target="_new" href="http://golem.ph.utexas.edu/instiki/show/Theorems">theorems</a>)</h3>
 <p>For a complete list of LaTeX commands supported here, see the <a href="http://golem.ph.utexas.edu/~distler/blog/itex2MMLcommands.html">itex2MML Commands Summary</a>.</p>
 <table cellspacing="0" cellpadding="0">
   <tr><td>_your text_</td><td class="arrow">&#x2192;</td><td><em>your text</em></td></tr>