Fuente TeX:

(E\forall [*1, *2, *3, *4], E\exists [*6], I\forall [*7, *8])