The editor on this page is using wysiwym (What You See Is What You Mean). It is not meant to be used to output HTML, it simply helps with the desired markup syntax. Currently supported are Markdown, MediaWiki, and BBCode. With a little help from other projects it can be used to create a live HTML preview editor similar to what StackOverflow has. Simpler examples can be found here.