Jakub Szymanik on X: "We generated 25k unique quantifiers and measured their minimal description length using the following Language of Thought grammar. https://t.co/cDEMWmR37l" / X
Latex Notation / Steffen Hänsch | Observable
Table XIV from The HASYv2 dataset | Semantic Scholar
Harmonic morphisms and their Milnor fibrations | Annali di Matematica Pura ed Applicata (1923 -)
Pin on Automation
Complement (set theory) - Wikipedia
formatting - Difference between commands `\setminus` and `\backslash` - TeX - LaTeX Stack Exchange
LaTeX Reference | Terminally Incoherent
LaTeX Math Symbols
math mode - Defining the minimal amount of space around an operator - TeX - LaTeX Stack Exchange