Discover published sets by community

Symbol: $\rightarrow$ Usage: $p \rightarrow q$ is false only if $p$ is true and $q$ is false.

Symbol: $\oplus$ Usage: $p \oplus q$ is true if and only if $p$ is true or $q$ is true, but not both.

Symbol: $\land$ Usage: $p \land q$ is true only if both $p$ and $q$ are true.

Symbol: $\neg$ Usage: $\neg p$ is true if $p$ is false.

Symbol: $\uparrow$ Usage: $p \uparrow q$ is true unless both $p$ and $q$ are true.

Symbol: $\downarrow$ Usage: $p \downarrow q$ is true if both $p$ and $q$ are false.

Symbol: $\lor$ Usage: $p \lor q$ is true if at least one of $p$ or $q$ is true.