Update index.html

escape arrows in code