toHtml (Command "url" y) = "<tt>"++(link (toHtml y) (toHtml y))++"</tt>"
toHtml (Command "WiX" y) = "W<span style='vertical-align:-20%'>I</span>X"
toHtml (Command "TeX" y) = "T<span style='vertical-align:-20%'>E</span>X"
toHtml (Command "url" y) = "<tt>"++(link (toHtml y) (toHtml y))++"</tt>"
toHtml (Command "WiX" y) = "W<span style='vertical-align:-20%'>I</span>X"
toHtml (Command "TeX" y) = "T<span style='vertical-align:-20%'>E</span>X"