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
Micha Feigin writes:
>
> 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 lef
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
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
do