HOW?: A bigger \mid in ``\left\{ .. \mid .. \right\}''

[Sebastian Brandt]

Hello TeX-Experts,

your help is needed for solving a (hopefully minor) problem in LaTeX:
In a mathematical formula, i write

\left\{ blabla \right\}

to typeset a set where the size of the delimiters ``{'' and ``}'' is
chosen automatically. This of course works fine. Now i need to write down
a set with a ``\mid'' in the middle in the same style, i.e. the result
should be a set like

{ bla | blabla }

where the size of the ``|'' is also chosen automatically. How can i do
this? Is there a command like

\left\{ bla \middle\mid blabla \right\}
-------

or something? Your ideas are greatly appreciated. Thanks a lot for helping
me out,
Sebastian.

--
Sebastian Brandt
(sbr...@cs.rwth-aachen.de)

[Severin Arnold]

Sebastian Brandt schrieb:
>
> Hello TeX-Experts,

Sorry I'm not )-:

> { bla | blabla }
>
> where the size of the ``|'' is also chosen automatically. How can i do
> this? Is there a command like
>
> \left\{ bla \middle\mid blabla \right\}
> -------

Try something like: \left\{ bla \left\mid blabla \right. \right\} if
size of "blabla" is higher than size of "bla".

I hope that's good...

Have fun (-;

--
Severin
To send me an e-mail, please convert the underscore char into a dash.
http://sevhal.free.fr/main/estelle.html

[Jules Bean]

Sebastian Brandt wrote:

[snip]

> where the size of the ``|'' is also chosen automatically. How can i do
> this? Is there a command like
>
> \left\{ bla \middle\mid blabla \right\}

Comes up a lot, this question. You should be able to find several
threads (one with me as the asker) on groups.google.com.

Some possible solutions:

a) There is a version of TeX with a middle primitive: eTeX.

b) The simple, if less elegant, solution is to use \vrule instead of
\mid.

c) A general solution in LaTeX is possible, but awkward. Donald's
braket.sty does some of it. I posted some code here for some other bits,
but I found the \mathchoice primitive demoralising and lost interest in
it.

For most applications, I recommend solution (b).

Jules

[Jules Bean]

Severin Arnold wrote:
> > { bla | blabla }
> >
> > where the size of the ``|'' is also chosen automatically. How can i do
> > this? Is there a command like
> >
> > \left\{ bla \middle\mid blabla \right\}
> > -------
>
> Try something like: \left\{ bla \left\mid blabla \right. \right\} if
> size of "blabla" is higher than size of "bla".

The problem with this approach (even if you do know which is higher,
blabla or bla) is that it has a little too much space on the right: the
\right. puts in some horizontal space, I believe.

Jules

[Enrique Lazcorreta Puigmartí]

try with
\left\{ bla \left| blabla \right.\right\}
or
\left\{\left. bla \right| blabla \right\}

"Sebastian Brandt" <aris...@higgins.informatik.rwth-aachen.de> escribió en
el mensaje
news:Pine.LNX.4.30.010821...@higgins.informatik.rwth-aachen
.de...

[Ray Vickson]

Sebastian Brandt wrote:
>
> Hello TeX-Experts,
>
> your help is needed for solving a (hopefully minor) problem in LaTeX:
> In a mathematical formula, i write
>
> \left\{ blabla \right\}
>
> to typeset a set where the size of the delimiters ``{'' and ``}'' is
> chosen automatically. This of course works fine. Now i need to write down
> a set with a ``\mid'' in the middle in the same style, i.e. the result
> should be a set like
>
> { bla | blabla }
>
> where the size of the ``|'' is also chosen automatically. How can i do
> this?

I often want different sized brackets in nested bracket expressions, so
I define a series of struts, (invisible vertical lines), then insert
them in the expressions. Then the \left? and \right? commands will
adjust automatically. Maybe you could to something like this:
\left\{ blabla \left|\mystrut\right. \right\}

Best of luck.

> Is there a command like
>
> \left\{ bla \middle\mid blabla \right\}
> -------
>
> or something? Your ideas are greatly appreciated. Thanks a lot for helping
> me out,
> Sebastian.
>
> --
> Sebastian Brandt
> (sbr...@cs.rwth-aachen.de)

--
R. G. Vickson
Department of Management Sciences
University of Waterloo
Waterloo, Ontario, CANADA