# Is there such a thing as a mathematical thesaurus?

I want this for two reasons:

1. When writing proofs, I am constantly in need of synonyms of basic words like thus, there exists, for all, such as, contains, etc.

2. A lot of mathematical concepts have multiple names, e.g. abelianization vs derived quotient, vanishes vs goes to $0$, and so on.

A big list of either of these types of synonyms would help improve the flow of my mathematical writing. Also, the latter case would familiarize me with alternative terminology I may run into later.

Does anything like this exist?