TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When I use \\ it breaks the frac layout. Now I come up with the following solution:

$$\frac{{O\vdash e_1:T_1 \atop O[T_1/x]\vdash e_2:T_2}}{O\vdash (let\ ((x e_1))\ e_2):T_2}$$

But it gives two lines with smaller font, and I need all 3 of them to be equal-sized.


Also it will be needed to place more than two (three or four) lines into the numerator of a frac.

share|improve this question
$$ is obsolete use \[\] instead, see tex.stackexchange.com/questions/503/why-is-preferable-to. – canaaerus Feb 7 '13 at 19:11
See also How to break a long expression in the denominator of a fraction? My recommendation: Don't do it! – Hendrik Vogt Feb 7 '13 at 20:10
up vote 8 down vote accepted

you can use the aligned sub-environment from amsmath"

      O&\vdash e_1:T_1 \\ O[T_1/x]&\vdash e_2:T_2
  {O\vdash (let\ ((x e_1))\ e_2):T_2}

(your question ended abruptly, so there may have been more specifications that i wasn't aware of.)

if you wish these lines to be centered, then use gathered rather than aligned (and omit the &s).

both aligned and gathered can accommodate any number of lines, even more than four, although it seems to me that this probably gets too complicated.

remember that the baseline is still relative to the math axis (which is coincident with the fraction rule), so all extra lines will continue to rise above the rest of the displayed expression, and if that part of the expression is in parentheses, the parentheses will be unattractively empty below the line.

share|improve this answer
Instead of this, splitfrac command from mathtools is here for the occasion. \frac{\splitfrac{}{}}{}. And \splitdfrac{}{} if you want it in displaymath. – Manuel Feb 7 '13 at 19:41
How to align them by centre, instead of right border? – Necto Feb 7 '13 at 19:49

Package mathtools provides a proper command, I will give an example soon


Here goes the unswer posted by Manuel: \splitfrac{〈numer〉}{〈denom〉} is what you are wanting to. Then:

   \frac{\splitfrac{O \vdash e_1 : T_1}{O[T_1/x] \vdash e_2 : T_2}}
   {O \vdash (let\ ((x e_1)) \ e_2) : T_2} 
share|improve this answer
\splitfrac{〈numer〉}{〈denom〉} is what you are wanting to. Then: \[ \frac{\splitfrac{O \vdash e_1 : T_1}{O[T_1/x] \vdash e_2 : T_2}}{O \vdash (let\ ((x e_1)) \ e_2) : T_2} \] should be the correct way. – Manuel Feb 7 '13 at 19:40
Please incorporate @Manuel's suggestion as part of your answer. – Werner Feb 7 '13 at 19:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.