\nsuccThe symbol \nsucc is used in mathematical logic and set theory to denote that an element does not succeed another element in a given order. It is the negation of the \succ relation, which means 'is a successor of'.
Element 'a' does not succeed element 'b' in the order.
a \nsucc bElement 'x' is not a successor of element 'y' in the given set or sequence.
x \nsucc yIn a numerical sequence, 3 does not succeed 5.
3 \nsucc 5