Bruchstriche beschriften

[TeXno]

Hallo,
an unserer Uni verwenden wir eine Schreibweise, die aussieht wie Bruchstriche mit Beschriftung. Sie besitzt diese grobe Form:

          ...              ...
REGEL -------------   ------------- REGEL
      S1 : D1 -> D2   S2 : D2 -> D3
  SEQ -----------------------------
             S1;S2 : D1 -> D2

Die gestrichelten Linien sollen den Bruchstrich repräsentieren. Bei den 3 Punkten können noch weitere Ausführungen stehen. Neben dem Bruchstrich steht, welche Regel angewendet wurde (man geht von unten nach oben). SEQ steht für Sequenz. REGEL habe ich in diesem Fall geschrieben, da ich mir in diesem (unvollständigen) Beispiel weitere Ausführungen gespart habe. Somit ist nicht klar, welche Regel in diesen Schritten angewendet wird.

Meine Frage lautet nun:
Wie kann ich diese Schreibweise in LaTex umsetzen? Normale Bruchstriche mit \frac kann man meinem Wissen nach nicht beschriften.

Vielen Dank,
Michael

Ps: Gibt es für diese Schreibweise eigentlich eine Bezeichnung (nach der ich suchen kann)?

[Johannes_B]

So ganz spontan sollte das mit TikZ zu verwirklichen sein. Die Doku ist sehr umfangreich, aber es gibt ein gutes Tutorial.

[rais]

Hallo,

Wie kann ich diese Schreibweise in LaTex umsetzen? Normale Bruchstriche mit \frac kann man meinem Wissen nach nicht beschriften.

und doch landet das, was Du vor einen \frac stellst, auf gleicher Höhe wie der Bruchstrich ...

\documentclass{article}
\usepackage{amsmath}
\newcommand*\regel[2][r]{%
  \makebox[0pt][#1]{{\scriptsize#2}}%
}
\begin{document}
\[
\regel{Seq}\dfrac{%
  \regel{Regel}\dfrac{\dots}{S1 : D1 \rightarrow D2}\quad
  \dfrac{\dots}{S2 : D2 \rightarrow D3}\regel[l]{Regel}}{%
    S1;S2 : D1 \rightarrow D2}
\]
\end{document}

wär vllt n Versuch wert.

MfG
Rainer

[TeXno]

Danke für die beiden Antworten. Den Befehl makebox kannte ich nicht. Ohne makebox ist das Ergebnis unschön gewesen. Die Regel wurde eingerückt auf dem Bruchstrich dargestellt. Deswegen habe ich den Ansatz schnell wieder verworfen. Mit makebox sieht das Ergebnis hingegen vielversprechend aus. Werde daher diese Variante verwenden.