Fuente TeX:

(\bar{\exists} u \in C) \, M \not\models \lnot P_1(\bar{u})