# space between \exists and \forall

I'm writting maths papers. I do use a lot of

$\ exists ; \ forall$

but I have this problem, they glue the next caracter to them. It is really bad for comprehension... So, in my parameter folder, I redefined those two operators like this :

\let\oldexist\exists
\renewcommand{\exists}{\oldexist \ }


but I'm not quit satisfied because, If for instance i'm writting, it exists an unique... there is a space between \exists and !...

Do you have any idea how to solve this problem?

It is not only linked to those two quantificators, but also if I want to write a math sentence, it is hard to make it clear because everything is glued, one to the other... I want it to be more spaced... that it uses more space horizontaly. For instance :

$A \subset B ; B \subset C$

instead of that : (that's how it appears on the pdf )

$A \subset B;B \subset C$

• \exists and \forall are classified as \mathord (ordinary), ; is a \mathpunct (punctuation), and \subset is a \mathrel (relation, I have no idea what \subspace is). Different classes follow different spacing rules. I don’t recommend changing their behavior as they are by design. – Ruixi Zhang Jun 29 '18 at 22:44
• But you are not helping me. The result is bad... I need to do something about it – Marine Galantin Jun 29 '18 at 22:45
• That’s why I’m leaving a comment rather than an answer. If you want your math to feel like a sentence, then perhaps write a sentence: for all $\epsilon>0$, there exists $\delta>0$ or $f(x)\ge0 \quad \text{for all } x>0$. Also, check this answer where spaces are added manually depending on the actual situations. – Ruixi Zhang Jun 29 '18 at 22:51
• In my opinion as a professional mathematician you should almost never use \forall and \exists in formal written mathematics. Of course, this comment does not solve the problem you asked about. Rather, I am suggesting that you have a more serious problem because mathematics should not be written this way. This said, if you do want help with this problem then please provide a minimal working example that clearly shows what you are trying to do. – Andrew Jun 30 '18 at 8:59
• Please post a minimal working example – Andrew Jun 30 '18 at 20:17