Improve symbolic web-browser