setminus -> smallsetminus in sty