COMP 256 MOC

<blockquote>
<p>[!links]
Parent: <span class="internal-link-container"><a href="COMP%20256%20MOC" class="internal-link">COMP 256 MOC</a><html><head></head><body><span class="note-preview block col-span-2 max-w-[400px] rounded shadow-sm p-5 bg-white cursor-pointer text-lg hover:bg-gray-200 hover:border-transparent"><span class="block font-bold leading-snug tracking-tight truncate mb-1">COMP 256 MOC</span><span class="block font-normal text-gray-600 whitespace-pre-line max-h-[150px] truncate">\[!links\]
\_Home MOC

References

LaTeX Reference

Class Notes

cn256_IntegersAndDivision_2026-03-24

Midterm

COMP 256 Midterm Studyguide</span></span></body></html></span></p>
</blockquote>
<h1>Set Symbols</h1>
<table>
<thead>
<tr>
<th>Category</th>
<th>Symbol</th>
<th>Source</th>
</tr>
</thead>
<tbody>
<tr>
<td>Set Membership</td>
<td>$x \in A$</td>
<td><code>x \in A</code></td>
</tr>
<tr>
<td>Subset</td>
<td>$B \subset C$</td>
<td><code>B \subset C</code></td>
</tr>
<tr>
<td>Subset Equal To</td>
<td>$B \subseteq C$</td>
<td><code>B \subseteq C</code></td>
</tr>
<tr>
<td>Proper Subset</td>
<td>$B \subsetneq C$</td>
<td><code>B \subsetneq C</code></td>
</tr>
<tr>
<td></td>
<td>$B \subsetneqq C$</td>
<td><code>B \subsetneqq C</code></td>
</tr>
<tr>
<td>Union</td>
<td>$A \cup B$</td>
<td><code>A \cup B</code></td>
</tr>
<tr>
<td>Intersection</td>
<td>$A \cap B$</td>
<td><code>A \cap B</code></td>
</tr>
<tr>
<td>Complement</td>
<td>$A^c$</td>
<td><code>A^c</code></td>
</tr>
<tr>
<td></td>
<td>$\complement(A)$</td>
<td><code>\complement(A)</code></td>
</tr>
<tr>
<td>Empty Set</td>
<td>$\emptyset$</td>
<td><code>\emptyset</code></td>
</tr>
<tr>
<td>Cardinality</td>
<td>$\mid A \mid$</td>
<td><code>\mid A \mid;</code></td>
</tr>
<tr>
<td>Logical AND</td>
<td>$p \land q$</td>
<td><code>p \land q</code></td>
</tr>
<tr>
<td>Logical OR</td>
<td>$p \lor q$</td>
<td><code>p \lor q</code></td>
</tr>
<tr>
<td>Logical NOT</td>
<td>$\neg p$</td>
<td><code>\neg p</code></td>
</tr>
<tr>
<td>Implication</td>
<td>$p \rightarrow q$</td>
<td><code>p \rightarrow q</code></td>
</tr>
<tr>
<td>Biconditional (If and Only If)</td>
<td>$p \leftrightarrow q$</td>
<td><code>p \leftrightarrow q</code></td>
</tr>
<tr>
<td>Quantifiers</td>
<td>$\forall x \in A, P(x)$</td>
<td><code>\forall x \in A, P(x)</code></td>
</tr>
<tr>
<td></td>
<td>$\exists x \in A, P(x)$</td>
<td><code>\exists x \in A, P(x)</code></td>
</tr>
<tr>
<td>Equality</td>
<td>$a = b$</td>
<td><code>a = b</code></td>
</tr>
<tr>
<td>Inequality (Not Equal)</td>
<td>$a \neq b$</td>
<td><code>a \neq b</code></td>
</tr>
</tbody>
</table>

Category	Symbol	Source
Set Membership	$x \in A$	`x \in A`
Subset	$B \subset C$	`B \subset C`
Subset Equal To	$B \subseteq C$	`B \subseteq C`
Proper Subset	$B \subsetneq C$	`B \subsetneq C`
	$B \subsetneqq C$	`B \subsetneqq C`
Union	$A \cup B$	`A \cup B`
Intersection	$A \cap B$	`A \cap B`
Complement	$A^c$	`A^c`
	$\complement(A)$	`\complement(A)`
Empty Set	$\emptyset$	`\emptyset`
Cardinality	$\mid A \mid$	`\mid A \mid;`
Logical AND	$p \land q$	`p \land q`
Logical OR	$p \lor q$	`p \lor q`
Logical NOT	$\neg p$	`\neg p`
Implication	$p \rightarrow q$	`p \rightarrow q`
Biconditional (If and Only If)	$p \leftrightarrow q$	`p \leftrightarrow q`
Quantifiers	$\forall x \in A, P(x)$	`\forall x \in A, P(x)`
	$\exists x \in A, P(x)$	`\exists x \in A, P(x)`
Equality	$a = b$	`a = b`
Inequality (Not Equal)	$a \neq b$	`a \neq b`