A logical relation symbol indicating non-derivability or non-provability in formal logic and proof theory.
