Questions tagged [latex]
The latex tag has no usage guidance.
1
question
0
votes
0
answers
110
views
Should the dots used in lambda-calculus notation be typographically treated the way binary relation and binary operation symbols are?
Within this question we find the notation $\lambda f . \lambda g . \lambda x.f(g\ x)$, and that causes me to wonder about a point of LaTeX and MathJax usage.
The code ...
- 11.2k