Micha Feigin wrote:
how do I generate a group definition such as { x | x > 0 } with variable height braces? I can create the outside braces using left\{ and right\} (or matching braces from the braces menu) but the central one doesn't fit it, and if I add a | with a matching empty left or right element the sizes don't match
The following seems to work for me: \left\{ short stuff \left| tall stuff \right. \right\}. If the tall stuff is on the left of the vertical bar, switch to \left. just inside the left brace and \right| where the bar goes. The key is that the tallest material has to be between the vertical bar and the matched phantom delimiter.
/Paul
