save filtered symbols to html