Semantic entailment mathematical notation

Semantic entailment is a recurring research-paper notation family. States that every interpretation making the premises true also makes the conclusion true.

Semantic entailment: States that every interpretation making the premises true also makes the conclusion true. Example: Every model satisfying all premises in Gamma also satisfies phi.