A negated double leftward arrow symbol indicating the logical negation of a left implication in mathematical logic.
