Krivine's notation for lambda-terms
114831
What is the benefit of Krivine's notation?
130614
Permutations on word $MISSISSIPPI$.
16944
What is a lambda (function)?
38685
Notation for discrete intervals
141286
When is $\mathbf{X}^{T}\mathbf{X}+\lambda\mathbf{I}$ invertible?
17267
Interchanging the order of differentiation and summation
150907
Notation and the name choice for meet and join (in order theory)
55259
ArcTan[z] and ArcTan[x,y], Restriction and Conversion
111669
How do lambda calculus most basic definitions work?
60953
How could we formalize the introduction of new notation?
100968
Why is $|e^{i \lambda z}| |e^{- \lambda y}|= |e^{- \lambda y}|$ here?
117533
$|A-\lambda I|$ and $|\lambda I-A|$
14203
Finding the creation/annihilation operators
61043
Proofs involving limsup and liminf
70676
Matrix product notation
90475
Coordinate-free proof of $\operatorname{Tr}(AB)=\operatorname{Tr}(BA)$?
58239
Symbols for left and right limits