• Als Spam markieren
• Beitrag melden

• 
  Diese Gruppe Alles

• Archiv
• RSS-Feeds

• Kontakt
• Hilfe
• Impressum
• Datenschutz

Re: automatisches Strecken des Mittelstrichs in Mengennotation

On Fri, 03 Oct 2008 22:40:31 +0200, Wolfgang Jeltsch wrote:
[...]
> Wow, es gibt auch \middle? Warum erwähnt das denn Lamport nicht in
> „LaTeX – A Document Preparation System“. \left und \right
beschreibt er
> da ja auch. Unverständlich, dass er auf \middle nicht eingeht. Oder
wird
> \middle von AMSTeX o.ä. eingeführt?

Ja, genauer: das ist eine eTeX-Erweiterung.

> Bei Verwendung von \middle| ist jetzt allerdings kein Leerraum links und
> rechts vom |. Ist das so üblich für
Mengendarstellungen oder sollte man
> da noch ein bisschen nachbessern?

Ich würde sowieso zu etwas wie dem folgenden tendieren:
\makeatletter
\newcommand\Set{\@ifstar{\S@tI}{\S@tII}}
\newcommand\S@tI[1]{%
\def\where{\;\middle|\;}%
\left\{#1\right\}%
}
\newcommand\S@tII[2][]{%
\def\where{\;#1|\;}%
#1\{#2#1\}%
}
\makeatother%,
womit man dann \Set[\big]{y\where y=1} oder \Set*{y\where y=1} schreiben
kann, da kann man die Abstände im nachhinein zentral anpassen. (Das ist
jetzt allerdings aus dem Kopf ohne weiteres Testen hingeschrieben,
funktioniert also eventuell nur ungefähr.) Und, um ganz konkret zu
antworten: ja, ich persönlich würde da
zusätzlichen Abstand setzen.

Ulrich

Antworten