Processing math: 73%

Comp 283, 2023 Summer Session 1

Course Site for Comp 283

LaTeX Guide

Basic

\neq
× \times
ab \frac{a}{b}

Propositional Logic

¬ \neg
\land
\lor
\oplus
\rightarrow
\leftrightarrow

Sets

{ \{
} \}
\in
\subseteq
\subset
\cup
\cap
× \times
\empty
AB A \backslash B
\oplus
\uplus
P(A) \mathscr{P}(A)

Counting

{A \choose k} {A \choose k}

Quantifiers

\forall \forall
\exists \exists

Relations and Functions

\circ \circ
\to \to

Number Theory

\mid \mid
a \bmod b a \bmod b
a \pmod b a \pmod b