A negated leftward arrow symbol indicating the absence of a leftward relation or mapping in logic and set theory.
