Arrow symbol HTML encoding
Update gh-pages