No bigoperators for union, intersection, and, or?

Stream: new members

[Kevin Cheung]

I see that there are big operators for product and sum. But there don't seem to be big operators for union, intersection, conjunction, and disjunction. Is that right?

[Ruben Van de Velde]

Like docs#iUnion or docs#sUnion ?

[Eric Wieser]

Those exist, they are ⋃, ⋂, ∀, and ∃

[Kevin Cheung]

Ha. How did I miss that!

[Kevin Cheung]

Thanks.

[Kevin Cheung]

What about conjunction and disjunction?

[Ruben Van de Velde]

What Eric said - that's forall and exists

[Kevin Cheung]

I see.

[Raunak Chhatwal]

Kevin Cheung said:

What about conjunction and disjunction?

Conjunction and disjunction are ∧ (\and) and ∨ (\or) respectively

[Ruben Van de Velde]

Those are the binary versions, not the n-ary ones