16 commands, each with the package it needs
Abstract
Asymptotic notation, Boolean logic, floors and ceilings, and complexity classes. None of them needs an extra package. Table 1 lists every symbol of the category with its rendered glyph, the command to type and the package to load; each name links to a page with a worked example, and 2 of them to a note comparing the commands that compile.
| Glyph | Command | Package | Page |
|---|---|---|---|
\mathcal{O} | none | Big O | |
\Omega | none | Big Omega | |
\Theta | none | Big Theta | |
o | none | Little-o | |
\oplus | none | XOR Oplus | |
\land | none | Logical AND | |
\lor | none | OR | |
\neg | none | NOT | |
\mid | none | Divides | |
\lfloor x \rfloor | none | Floor | |
\lceil x \rceil | none | Ceiling | |
\top | none | Boolean True | |
\bot | none | Boolean False | |
\models | none | Entails | |
\mathsf{NP} | none | Complexity NP | |
\mathsf{P} | none | Complexity P |
Table 1. Computer science symbols in LaTeX: glyph, command, package (none means built into LaTeX) and the page for each symbol. Commands go inside math mode unless the page says otherwise.
The same table exists for every family of symbols. To find one by name or by pasting the character, use the symbol search.