&bigsqcup