« first day (3828 days earlier)      last day (157 days later) » 

2:47 PM
There are now two questions tagged on meta.
0
Q: Should the dots used in lambda-calculus notation be typographically treated the way binary relation and binary operation symbols are?

Michael HardyWithin 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 a.b.c. gets rendered as $a.b.c,$ with the period, or "full stop" if you like, closer to the letter to its left than the one to its...

0
Q: Missing brackets in $\{x\}$ in drafts, not missing in the final question/product

Dominic van der ZypenI am using the latest version of Firefox on Linux (bodhi linux) as well as Mac and Windows. Some $\LaTeX$ is not typeset correctly in MathOverflow: whenever I type a set, like the singleton $\{x\}$, the curly braces $\{\}$ never show up in the draft or after clicking "review your post" -- but the...


« first day (3828 days earlier)      last day (157 days later) »