| λ-unfoldable | SNM1PSC9MY | definition | open | Wikipedia List of large cardinal properties#A0CP |
| ΛΠ-calculus | G1E897TYP1 | unknown | open | Wikipedia Dependent type#R19U |
| μ | Q8CKPXXESR | definition | open | Wikipedia Glossary of set theory#GB4C |
| μ operator | S8VB28974P | definition | open | Wikidata Q307772, MathWorld Mu-Operator, Wikipedia Mu operator |
| μ-recursive function | TK0R173WKE | definition | open | Wikidata Q284164, EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function, Wikipedia General recursive function |
| Μ/μ | 9YPJGVDJBK | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q9902, ProofWiki Symbols:Greek/Mu |
| Ξ function | R2PXSAD73Z | definition | open | Wikipedia Ξ function, Wikidata Q8083993 |
| Ξ/ξ | FYYH4M1DK4 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14406, ProofWiki Symbols:Greek/Xi |
| Ο/ο | 18YA32SXZR | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14408, ProofWiki Symbols:Greek/Omicron |
| Π | 3XPVKNRKZP | definition | open | Wikipedia Glossary of set theory#9HNM |
| π | Q037JJCCVJ | definition | node | Wikipedia List of long mathematical proofs#L8EL |
| π-base | BNY039MFGG | definition | open | Wikipedia Glossary of general topology#K6OX |
| Π-calculus | QREGEXZR7F | definition | open | Wikipedia Π-calculus, Wikidata Q602886 |
| Π01 class | ZKVDMTPE7Y | definition | open | Wikipedia Π01 class, Wikidata Q8083994 |
| Π1-formulas and concepts | DVD5ZB11V8 | statement | open | Wikipedia Lévy hierarchy#MM68 |
| Π2-formulas and concepts | JZGREDEDSY | statement | open | Wikipedia Lévy hierarchy#5YDQ |
| Π3-formulas and concepts | AHCVR93X43 | statement | open | Wikipedia Lévy hierarchy#23T8 |
| ρ | BYMEHK9J8B | definition | open | Wikipedia Glossary of set theory#ASV4 |
| Ρ | KS1J7CF943 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14412, ProofWiki Symbols:Greek/Rho |
| Σ | E8ZA87RFB6 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14413, MathWorld Sigma, ProofWiki Symbols:Greek/Sigma |
| σ | FDHDD9NAHA | definition | open | Wikipedia Glossary of set theory#JKIU |
| Σ | H6TJRXTNJK | definition | open | Wikipedia Glossary of set theory#2F4J |
| σ-algebra | HWRM6ADM5E | definition | open | Wikipedia Glossary of real and complex analysis#GA22 |
| Σ-Algebra of τ-past | FVCG2HZ55W | definition | open | Wikipedia Σ-Algebra of τ-past, Wikidata Q21044538 |
| Σ-compact space | FBKASVN2YE | definition | open | Wikipedia Σ-compact space, Wikidata Q290618 |
| σ-finite measure | GKPQ7M6KK0 | definition | open | Wikidata Q291430, ProofWiki Definition:Sigma-Finite_Measure, Wikipedia Σ-finite measure |
| Σ0=Π0=Δ0 formulas and concepts | XRXVTEYBZD | statement | open | Wikipedia Lévy hierarchy#8FI1 |
| Σ1-formulas and concepts | WZH9BN9Y9F | statement | open | Wikipedia Lévy hierarchy#R5Q4 |
| Σ2-formulas and concepts | 76Z3X0T973 | statement | open | Wikipedia Lévy hierarchy#PAVN |
| Σ3-formulas and concepts | 5R5K5EB8DH | statement | open | Wikipedia Lévy hierarchy#STXP |
| Σ4-formulas and concepts | 2YJMX3M7R6 | statement | open | Wikipedia Lévy hierarchy#0TQA |
| Τ | 3XV70YKG9R | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14415, MathWorld Tau, ProofWiki Symbols:Greek/Tau |
| Υ | B10PYV05KF | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14423, ProofWiki Symbols:Greek/Upsilon |
| φ | FBFMTVAGGG | definition | open | Wikipedia Glossary of set theory#ZZN4 |
| Φ/φ | PZTXGJC3WV | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q10029, ProofWiki Symbols:Greek/Phi |
| Χ/χ | 6AARDKE71C | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14425, ProofWiki Symbols:Greek/Chi |
| Ψ | Q8HHZ1H1CS | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14432, ProofWiki Symbols:Greek/Psi |
| ω | 5PXGQCMSDY | definition | open | Wikipedia Glossary of set theory#FK5O |
| Ω | YRC6NV3Q26 | definition | open | Wikipedia Glossary of set theory#DZS0 |
| Ω-automaton | WS77J72G2N | definition | open | Wikipedia Ω-automaton, Wikidata Q291256 |
| Ω-bounded space | VT1MN20SXR | definition | open | Wikipedia Ω-bounded space, Wikidata Q18385918 |
| Ω-complete theory | 3QV4169EQH | definition | open | Wikipedia Ω-complete theory, Wikidata Q139760388 |
| Ω-conjecture | HBPYMPW451 | unknown | open | Wikipedia Ω-logic#PRD2 |
| Ω-consistent theory | BGKGX2TACF | definition | open | Wikipedia Ω-consistent theory, Wikidata Q293137 |
| Ω-logic | 63GZRHWXQA | definition | open | Wikipedia Ω-logic, Wikidata Q8084001 |
| ω-meson | MYSKG2JEW4 | unknown | open | Wikidata Q424134, nLab ω-meson |
| Ω-stable | PE4KRY2SRD | definition | open | Wikipedia List of first-order theories#VBQ9 |
| Ω/ω | HF27RW7GWZ | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q9890, ProofWiki Symbols:Greek/Omega |
| Ш | X23ZK14M3M | definition | open | Wikipedia Glossary of mathematical symbols#F0ZY |
| א | 11NQ7KFE1C | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q16725860, ProofWiki Symbols:Hebrew/Aleph |
| ב | B49KZFKF6H | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q15049, ProofWiki Symbols:Hebrew/Beth |
| ב | EPF5RV84ZC | definition | open | Wikipedia Glossary of set theory#NTU0 |
| ג | 33ARVBANRF | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q15074, ProofWiki Symbols:Hebrew/Gimel |
| ג | N85J2TBVY5 | definition | open | Wikipedia Glossary of set theory#QYTL |
| ד | 1ZM8594MSC | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q15080, ProofWiki Symbols:Hebrew/Daleth |
| ת | 1YX71K61KN | definition | open | Wikipedia Glossary of set theory#QEQH |
| Ṣubḥ al-aʿshā | HVRT6MJ1KA | unknown | open | Wikipedia Al-Qalqashandi#HZNT |
| “Surely You're Joking, Mr. Feynman!” | 3WY5AX4ZRK | definition | out_of_scope (a book, not an item of mathematics) | Wikidata Q2743592, ProofWiki Book:Richard_P._Feynman/Surely_You're_Joking,_Mr._Feynman!, Wikipedia Surely You're Joking, Mr. Feynman! |
| “What Do You Care What Other People Think?” | WW9BXQJ5SZ | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q2712899, ProofWiki Book:Richard_P._Feynman/What_Do_You_Care_What_Other_People_Think? |
| † | 84YJYQF78M | unknown | open | Wikidata Q282364, MathWorld Dagger |
| ‡ | NGSKNHVBX6 | unknown | open | Wikidata Q87523318, MathWorld DoubleDagger |
| ′ | 30GK1YY0H6 | definition | open | Wikipedia Glossary of graph theory#6CTB |
| ⁀ | KXRKGKRF04 | definition | open | Wikipedia Glossary of set theory#H10F |
| ⁅ | PY8A8WWS5K | unknown | open | Wikipedia Bracket#1D0J |
| | 94X8WXK1YC | unknown | open | Wikipedia Multiplication sign#43KB |
| ⃧ | 6YQB6YG437 | unknown | open | Wikipedia Actuarial notation#YA1A |
| ℓ-adic sheaf | ZB7Y89WECJ | definition | open | Wikipedia ℓ-adic sheaf, Wikidata Q65066754 |
| ℵ | 7ZVWH54FSE | definition | open | Wikipedia Glossary of mathematical symbols#L7ZF |
| ℵ | TX06XBN087 | definition | open | Wikipedia Glossary of set theory#ETAC |
| ℶ | 379FV26D4R | definition | open | Wikipedia Glossary of mathematical symbols#TMNN |
| → | 29VJCYPR1D | definition | open | Wikipedia Glossary of set theory#0ZVC |
| → | 5EHJFX1RV7 | definition | open | Wikipedia Glossary of mathematical symbols#ZYZG |
| ↦ | TZ397V8J1G | definition | open | Wikipedia Glossary of mathematical symbols#28V4 |
| ↪ | 26M2H6NME7 | unknown | open | Wikipedia Commutative diagram#R2VW |
| ↾ | M7HAZ90F9T | definition | open | Wikipedia Glossary of set theory#N4TG |
| ↿ | N267T74KJ4 | definition | open | Wikipedia Glossary of set theory#3E0Q |
| ⇒ | 25813JKD1R | definition | open | Wikipedia Glossary of mathematical symbols#SRVT |
| ⇔ | ANZH4W0Q1A | definition | open | Wikipedia Glossary of mathematical symbols#ZTE6 |
| ∀ | 5JGPFGZY3W | definition | open | Wikipedia Glossary of mathematical symbols#E64W |
| ∁ | 717FSPABAR | definition | open | Wikipedia Glossary of set theory#ROIZ |
| ∁ | G0C08AT4KD | definition | open | Wikipedia Glossary of mathematical symbols#SAC3 |
| ∂ | GD310ZMNCP | definition | open | Wikipedia Glossary of mathematical symbols#CMLG |
| ∃ | ZPA46TBAN2 | definition | open | Wikipedia Glossary of mathematical symbols#R3F9 |
| ∃! | P427KBAWY5 | definition | open | Wikipedia Glossary of mathematical symbols#9ZRF |
| ∃E | 3W5E2CEXZY | unknown | open | Wikipedia Existential quantification#6OI5 |
| ∅ | 6SRTPXER58 | definition | open | Wikipedia Glossary of mathematical symbols#LEPK |
| ∇ | DC8288HDD6 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q937750, ProofWiki Symbols:Nabla |
| ∇ | W5KMT5M4X5 | definition | open | Wikipedia Glossary of mathematical symbols#1I9T |
| ∈ | C8PD96CSKP | definition | open | Wikipedia Glossary of mathematical symbols#E019 |
| ∈ | TNQGPT1KZW | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q2221333, ProofWiki Symbols:Set_Theory/Element |
| ∈, =, ⊆, ⊇, ⊃, ⊂, ∪, ∩, ∅ | 4Z25XTRBSC | definition | open | Wikipedia Glossary of set theory#QGA0 |
| ∉ | RYG2WZ06TV | definition | open | Wikipedia Glossary of mathematical symbols#2M6O |
| ∋ | 9C6SG6T7NF | definition | open | Wikipedia Glossary of mathematical symbols#NSDT |
| ∐ | M0MTWECTMJ | definition | open | Wikipedia Glossary of mathematical symbols#ED6A |
| − | W8DHCP69VT | definition | open | Wikipedia Glossary of set theory#MD1P |
| − | YBME6RXHM8 | definition | open | Wikipedia Glossary of mathematical symbols#48AX |
| −1 | 804KHENA47 | definition | open | Wikidata Q310395, ProofWiki -1, Wikipedia −1 |
| −2 | F93WMVZZBZ | definition | open | Wikipedia −2, Wikidata Q3827340 |
| ∓ | W1G8VVWP6G | unknown | open | Wikidata Q87524447, MathWorld MinusorPlus |
| ∓ | Y1SHK9ARX7 | definition | open | Wikipedia Glossary of mathematical symbols#YNKT |