Logic and Set Theory
:- | :- | :- | :- | :- | :- | :- | :- |
---|---|---|---|---|---|---|---|
KaTeX:\forall |
\forall |
KaTeX:\complement |
\complement |
KaTeX:\therefore |
\therefore |
KaTeX:\emptyset |
\emptyset |
KaTeX:\exists |
\exists |
KaTeX:\subset |
\subset |
KaTeX:\because |
\because |
KaTeX:\empty |
\empty |
KaTeX:\exist |
\exist |
KaTeX:\supset |
\supset |
KaTeX:\mapsto |
\mapsto |
KaTeX:\varnothing |
\varnothing |
KaTeX:\nexists |
\nexists |
KaTeX:\mid |
\mid |
KaTeX:\to |
\to |
KaTeX:\implies |
\implies |
KaTeX:\in |
\in |
KaTeX:\land |
\land |
KaTeX:\gets |
\gets |
KaTeX:\impliedby |
\impliedby |
KaTeX:\isin |
\isin |
KaTeX:\lor |
\lor |
KaTeX:\leftrightarrow |
\leftrightarrow |
KaTeX:\iff |
\iff |
| KaTeX:\notin
| \notin
| KaTeX:\ni
| \ni
| KaTeX:\notni
| \notni
| KaTeX:\neg
KaTeX:\lnot
| \neg
or \lnot
|
:- | :- | :- | :- |
---|---|---|---|
KaTeX:\Set{ x | x<\frac 1 2 } |
\Set{ x | x<\frac 1 2 } | KaTeX:\set{x|x<5} |
Comments