Hola
Pero es tonto evitar las cosas que deberían ser evitadas. En la práctica, con evitar las cosas que deben ser evitadas es más que suficiente.
Vamos, que sabés que no lo digo yo, que lo dicen los editores.
Es obvio que poner "\ " o "\," da igual, pero bueno, por llevarte la contra en algo. 
Saludos y buenas noches
Cuando te referís a editores, cada publicación tiene sus propias reglas.
Hay que ajustarse a las reglas del editor al cual uno envía u a publicación.
Si no hay reglas, como con los libros de Carlos, su propio sentido estético parece más que suficiente.
El estilo (a) me parece preferible porque el exceso de signos de puntuación pienso que dificulta la lectura.
Tras una serie de cuantificadores, la proposicioón que sigue la pongo entre paréntesis sólo si contiene un conector lógico.
Para el caso de alumnos que están acostumbrados a muletillas como el "tal que", sela reemplazo por un separador ":" tras los cuantificadores, hasta que veo que ya puedo quitar signos de puntuación innecesarios y uso la forma (a).
No es correcto decir que un compilador prefiere paréntesis.
Al procesar una expresión, se utilizan comunmente estructuras tipo "pila",
con lo cual son preferibles expresiones en notación polaca.
A mí me gusta seguir estilos uniformes en un texto, porque considero que esa coherencia da un aspecto global más prolijo a ojos del lector, y además es posible que el ojo del lector se acostumbre a ver cierto estilo, de manera que la lectura no le demande sorpresas ni le distraiga del tema principal.
Siempre procuro agregar una separación tipo \; o similar tras los cuantificadores, para facilitar la lectura.
El tamaño del espaciado trato de conservarlo siempre el mismo en un mismo documento.
La elección de un estilo debiera darse por razones prácticas concretas.
En mi caso busco que haya una lectura fluida, con pocas tildes y colgajos raros, minimizar el uso de letras griegas (que obligan a pensar en cuál era el nombre de la letra antes que en lo que se está exponiendo), pocas y bien conocidas tipografías de letras, evitar el exceso de símbolos matemáticos extravagantes o poco vistos, y en lo posible usar las mismas letras siempre para las mismas cosas.
