Boolean logic and set theory were subjects I studied on both my math courses. One of the visual representations we explored when first introducing the subject was the Venn diagram.
We used a few different notations for the boolean operations but for the sake of typing ease, this particular program sticks with typeable keys listed below. The following operations are permitted:
|+||A + B||Union|
|*||A * B||Intersection|
|-||A - B||Difference|
|^||A ^ B||Symmetric Difference|
|()||A + (A-B)||Order of Operations|