Fixed GREATER-OR-EQUAL character in HTML.