mttex
mttex copied to clipboard
wilbowma
A LaTeX package for formatting meta-theory.
With the following error message: "Argument of \markboth has an extra }"
Several users are complaining about slow build times, causing them to avoid mttex when they can, occasionally causing them to copy/paste out of mttex to get specific features without slow...
It would be nice to be able to format metavariables differently than constants and other parts of the language. For example: λ _x_ : _τ_ . if _e_ then _e₁_...
**Issue by [wilbowma](https://github.ccs.neu.edu/wilbowma)** _Saturday Jul 11, 2015 at 02:35 GMT_ _Originally opened as https://github.ccs.neu.edu/coqatoos/secctex/issues/21_ --- Things like theorem names, captions, and paragraphs are sometimes titlecases. Maybe it should not be...
https://www.ctan.org/texarchive/macros/latex/contrib/comment
I'm getting sick of typing the same standard rules. Maybe should create some macros parameterized by formatting macros to generate some of these standard rules...
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...
This problem not present in 07fb77eef295c45be0bc354319b512260bf1463c Some metavars, those declared with the `name/symbol` notation, seem to get italics even when their font is not italics. No clue why