Quantifiers and mathematical notations

Symbol	Meaning
	for all
	exists
or |	such that
	set with list of elements within and
	exists and is unique
	does not exist
	Statement follows from statement (In other words, if is true, then is true)
	Statement is sufficient for (In other words, if is true, then is true)
	Statements and are equivalent (In other words, and are true or false at the same time)

---

This is a work in progress