Set of all models

The set of all models of a formula $A$ is denoted by $\boxed{\bmod(A)}$.

For example, it is written as $\mathrm{mod}(\mathcal{S})=\{v_0,v_7\}$. If $\mathcal{S}$ is not satisfiable, then $\mathrm{mod}(\mathcal{S})=\varnothing$.