&preccurlyeq