manually download latex-pretty-symbol
change some symbols to a bigger version