cognitive psychology. PhD 
Is there any good way to typeset inference rules in HTML? Something more accessible than "a picture of a LaTeX rendering", but less ugly than a bunch of dashes in a <pre> block.
-
\frac in MathJax should work for a single rule, but it doesn't stack well (if you want to show a sequence of rule applications) — if you use nested fractions, the font size gets smaller.
That is avoidable with \cfrac.
@arntzenius I have a lot of typeset inference rules on my PL course page that you can reference: http://cs242.stanford.edu/lectures/02-1-type-systems.html …
-
-
If you view page source and look in the header, you can see the big list of \newcommands I used. It allowed me to roughly emulate mathpartir but it's not perfect.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That page renders really nicely!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.