A relation symbol indicating non-validity or non-semantic entailment in mathematical logic and proof theory.
