A logical relation symbol representing semantic entailment or model-theoretic satisfaction in mathematical logic.