mttex
mttex copied to clipboard
Inconsistent syntax for binders
The syntax for some binders warp the binding in parens (e.g. lambda), while others do not (fix, Pi). Sometimes, one looks better, while at other times, the other does. Need some consistent configurable mechanism.