1<HTML> 2<HEAD> 3<meta charset="UTF-8"> 4<title>foo - test</title> 5</HEAD> 6<BODY> 7<a href="index.html">test</a> / <a href="./foo.html">foo</a><br/> 8<br/> 9<h1>foo</h1> 10<a name="$foo()"></a> 11<code><span class="keyword">fun </span><span class="identifier">foo</span><span class="symbol">(</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code> 12<p>This is <em>emphasized text</em> but text_with_underscores has to preserve the underscores. 13Single stars embedded in a word like Embedded*Star have to be preserved as well.</p> 14</BODY> 15</HTML> 16