When I type here what dictionary does the spell checking for me? My local browser dictionary or is it MSE dictionary?
I was using Chrome while typing in the question box. The word
differentiable was flagged as having wrong spelling. When I typed the same in the search box of Chrome no spelling error was indicated. So I suppose two different spelling dictionaries are used.
That might suggest uses for a dictionary of mathematical words which are not in basic dictionaries.