Added the Overline HTML character code.