Use \leq instead of \leqslant, so we do not need amssymb