HTML markups == Description == This page list the HTML markup that exist //as is// in HOP. The whole HTML markups have counterparts in HOP. All but three markups (++++, ++++, ++++) having the same evaluation in HOP that in plain HTML, they are only listed here. ~~ The markups are used to represent //graphical user interfaces// (which are generally called //document// in the HTML terminology). Such a interface looks like: ( ( ... ( ...) ... ( ...) ... (