I was wondering about the use of latex symbols \implies ($\implies$) and \therefore ($\therefore$). From the naming, I think \therefore and \implies are redundant, but I can't find a symbol for \suchthat and at university, we used $\therefore$ as a shortcut for "such that".
Question is: what should I use for what I pronounce "therefore", and what for "such that"?
Edit: as from the comments, I think I really have to clarify that my intention was to use those symbols I asked to use inside of formulas, and $\neg$ to intersperse common language with it. Good n8 $\to\forall$ of U.
(Some of you must have had really traumatic experiences with the misuse of symbols.)