note
dmitri
<tt>++</tt>. As far as your "googly" comments go, you can substitute German umlaut letters with that letter followed by 'e', so Prüfer becomes Pruefer:
<p>
[http://www.google.com/search?hl=en&ie=UTF-8&oe=UTF-8&q=pruefer+trees&btnG=Google+Search]
234289
234289