Update index.html

modify notation