Questions tagged [latex]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

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 ...
Michael Hardy's user avatar