use bigcup instead of cup