Fuente TeX:

(\bar\forall a \in |M|) M \models \varphi[\bar a/x]