In mathematics, a unitary spider diagram adds existential points to an Euler or a Venn diagram. The points indicate the existence of an attribute described by the intersection of contours in the Euler diagram. These points may be joined together forming a shape like a spider. Joined points represent an 'or' condition, also known as a logical disjunction. In mathematics, a unitary spider diagram adds existential points to an Euler or a Venn diagram. The points indicate the existence of an attribute described by the intersection of contours in the Euler diagram. These points may be joined together forming a shape like a spider. Joined points represent an 'or' condition, also known as a logical disjunction. A spider diagram is a boolean expression involving unitary spider diagrams and the logical symbols ∧ , ∨ , ¬ {displaystyle land ,lor ,lnot } . For example, it may consist of the conjunction of two spider diagrams, the disjunction of two spider diagrams, or the negation of a spider diagram.