Added Overline HTML character code.