&succcurlyeq