Finding alternative symbols
It will also go through a blank option, in case you want to turn off some symbols. Sometimes you may not want a symbol for every word.
Once you have turned off a symbol the program will remember this preference for the rest of the document, but you can turn the symbol back on at any time with F12.