Sucher verzweifelt math. Symbol

[MarkusP]

Ich suche schon mindestens 2h so ein vermaledeites Zeichen.
Ich brauch sowas:

p |--- xy

Auf dem |--- soll noch ein n+1 oder n stehen und das |--- soll laaang sein, also nicht so wie das immer-kurze \vdash.

Wie geht denn das?

wobei das |--- laaang sein soll.
\vdash ist immer zu kurz

Wie geht denn das?
Grüße

[Stefan_K]

Hallo Markus,

mal auf die Schnelle "gebastelt":

\makeatletter
\def\vrelbar{\vphantom{=}\relbar}
\def\myarrowfill@{\arrowfill@\relbar\vrelbar\relbar}
\newcommand{\myarrow}[2][]{%
\mathrel{\mapstochar \ext@arrow 0099\myarrowfill@{#1}{#2}}}
\makeatother
...
\[ p \myarrow{n+1} xy \]

Passt Dir das so?
Siehe extensible arrows in der amsmath-Doku bzw. in voss-mathmode.

Grüße,

Stefan

[MarkusP]

Vielen Dank, Stefan!
Ich wusste nicht, dass man das basteln muss. Einzel/Mehrschrittrelationen müssten doch schon öfters gebraucht worden sein.

In meinem Skript ist der senkrechte Strich allerdings noch etwas länger; ich hab das dann so gemacht:

% Ein langes \vdash
\newcommand{\zu}[1]{\ensuremath{{\,\mid\!\!\!\frac{~#1~}{~}~}}}		

p \zu{n+1} xy

Danke nochmal,
MarkusP