Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I’m trying to get a grip on which iTex commands to use to get sequent derivations to come out properly sized, in a display environment. I’m using \frac which, when used multiple times, makes characters come out tiny. The \dfrac command doesn’t seem to be recognized.
On my unpublished personal web, I have this (as part of a bullet point):
$\frac{\frac{X \times B \to P A\;\;\; in\; \mathbf{S}}{X \times B \nrightarrow A\;\;\; in\; Rel(\mathbf{S})}}{\frac{X \nrightarrow A \times B\;\;\; in\; Rel(\mathbf{S})}{X \to P(A \times B)\;\;\; in \; \mathbf{S}}}$which is totally inelegant. Ideas what I should be doing?
I’m not very proficient with iTex, but how about using array with “\rowlines{solid}” option?
$\array{\arrayopts{\rowlines{solid}} X \times B \to P A\;\;\; in\; \mathbf{S} \\ X \times B \nrightarrow A\;\;\; in\; Rel(\mathbf{S}) \\ X \nrightarrow A \times B\;\;\; in\; Rel(\mathbf{S}) \\ X \to P(A \times B)\;\;\; in \; \mathbf{S} }$Nice, Karol! Too bad we don’t have the mathpartir
package in iTeX…
Thank you, Karol!! That seems to work well, and I think it will save me a lot of time.
There ought to be (at some point) some examples of sequent derivations at the nLab (main), and this may be the way to go.
This should be put in the HowTo as well.
I tried to put this in the HowTo. Not too competently, I’m afraid.
Thanks! I indented the code for the derivation so that the numbered list would continue after it.
1 to 7 of 7