| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Binary cartesian set product |
| ▼ | Binary relation |
| ▼ | Map |
| ▼ | Countable map |
| ▼ | Array |
| ▼ | Matrix |
| ▼ | Square matrix |
| ▶ | D6231: Complex matrix square root |
| ▶ | D5870: Invertible complex matrix |
