&smallsetminus