Slatibartfass
18-02-2007, 14:44
Moin,
ich habe ein Problem bezüglich \delimitershortfall. Ich habe global \delimitershortfall=-0.8pt gesetzt und möchte nun dies partiell in der Datei ändern. Konkret tritt das Problem bei mir bei der folgenden Definition einer Norm auf:
\newcommand{\normdouble}[1]{\left|\!\left|{#1}\right|\!\right|}
Da dann aber die äußeren "Pipes" größer werden, dachte ich, ich könnte das Problem mit
\newcommand{\normdouble}[1]{\delimitershortfall=5pt\left|\!\left| \delimitershortfall=-0.8pt {#1}\delimitershortfall=5pt\right|\!\right| \delimitershortfall=-0.8pt}
umgehen. Doch leider funktioniert das nicht.
Vielen Dank schon mal im Voraus,
Florian
ich habe ein Problem bezüglich \delimitershortfall. Ich habe global \delimitershortfall=-0.8pt gesetzt und möchte nun dies partiell in der Datei ändern. Konkret tritt das Problem bei mir bei der folgenden Definition einer Norm auf:
\newcommand{\normdouble}[1]{\left|\!\left|{#1}\right|\!\right|}
Da dann aber die äußeren "Pipes" größer werden, dachte ich, ich könnte das Problem mit
\newcommand{\normdouble}[1]{\delimitershortfall=5pt\left|\!\left| \delimitershortfall=-0.8pt {#1}\delimitershortfall=5pt\right|\!\right| \delimitershortfall=-0.8pt}
umgehen. Doch leider funktioniert das nicht.
Vielen Dank schon mal im Voraus,
Florian