\documentstyle[12pt,german,eqmark]{article}

\title{Markieren von Formeln}
\author{Dirk Nitschke}
\date{14.~Dezember 1993}

\begin{document}
\maketitle

Der Leserbrief von Herrn Franz Strobl in der Ausgabe
2/1993 von "`Die \TeX{}nische Kom"odie"' gab den
Ansto"s zu diesem Artikel.  Herr Strobl fragte, wie man
Formeln mit Markierungen wie $(\ast)$ oder $\Box$
versehen kann.  Zun"achst soll dieses Problem f"ur
abgesetzte Formeln behandelt werden.  Anschlie"send
wende ich mich der \verb+eqnarray+-""Umgebung zu.
Dabei wird der \verb+eqmark+-""Style beschrieben, der
zwei Befehle zum Anbringen von Markierungen im
\verb+eqnarray+ zur Verf"ugung stellt.

In \LaTeX{} werden abgesetzte Formeln ohne Nummerierung
von \verb+\[+ und \verb+\]+ oder --- "aquivalent hierzu
--- \verb+\begin{displaymath}+ und
\verb+\end{displaymath}+ eingeschlossen.  Man kann aber
auch den \TeX-""Originalbefehl \verb+$$+ verwenden.
Dies hat zum Vorteil, da"s die beiden \TeX-""Befehle
\verb+\eqno+ und \verb+\leqno+ benutzt werden d"urfen.
Diese Befehle stehen f"ur {\em equation number\/} sowie
{\em left equation number\/} und erzeugen in einer
abgesetzten Formel am rechten bzw.{} linken Rand eine
beliebige Markierung.  Der entsprechende
Markierungstext wird dabei als Argument (ohne
einschlie"sende Klammern \verb+{+ und \verb+}+)
"ubergeben.  Das erste Dollarzeichen des die abgesetzte
Formel beendenden \verb+$$+ kennzeichnet auch das Ende
des Arguments.  (Siehe hierzu auch~[1], pp.~186--187,
189--191, 193, 293.)  Daher ist die Verwendung dieser
beiden Befehle nur in solchen abgesetzten Formeln
m"oglich, die von \verb+$$+ beendet werden.  Der
Quellcode

\begin{verbatim}
$$
 a = b + c \eqno (\ast)
$$
\end{verbatim}

hat als Ergebnis

$$
 a = b + c \eqno (\ast)
$$

und \verb+\leqno+ anstelle von \verb+\eqno+ h"atte
$(\ast)$ am linken Rand ergeben.  Als Argument von
\verb+\eqno+ und \verb+\leqno+ ist alles erlaubt, was
auch im Mathematikmodus gestattet ist.  Man beachte,
da"s die Marke im \verb+textstyle+ gesetzt wird.  Dies
f"uhrt bei Eingabe von \verb+(\ast\ast\ast)+ zu
$(\ast\ast\ast)$ und nicht zu dem wohl gew"unschten
$(\ast{\ast}\ast)$.  Ebenso liefert \verb+\sum_i+ nicht
$\displaystyle\sum_i$ sondern $\sum_i$.

M"ochte man "ahnliches in einem \verb+eqnarray+
erreichen, so mu"s man zun"achst wissen, wie \LaTeX{}
die automatische Formelnummerierung vornimmt.  Wurde
die Nummerierung nicht durch \verb+\nonumber+
abgeschaltet, so wird der Befehl \verb+\llap{\@eqnnum}+
ausgef"uhrt, der die Markierung setzt.  Dies "andert
sich auch nicht bei der Option \verb+leqno+.  Hier wird
lediglich \verb+\@eqnnum+ so ver"andert, da"s die
Nummerierung auf der linken Seite erscheint.  Der
\verb+eqmark+-""Stil definiert ebenfalls den Befehl
\verb+\@eqnnum+ um und stellt zus"atzlich die beiden
Befehle \verb+\lmark+ und \verb+\rmark+ zur Verf"ugung,
die eine Markierung am linken bzw.{} rechten Rand
erzeugen und die standardm"a"sige Formelnummerierung
unterdr"ucken.  Hat man mit \verb+\lmark+ und/oder
\verb+\rmark+ eine Markierung der Formel definiert, so
wird diese gesetzt, ansonsten die normale Nummerierung
(insbesondere keine Nummerierung bei \verb+\nonumber+).
\verb+\lmark+ und \verb+\rmark+ haben als Argument die
gew"unschte Marke, die dann --- genau wie bei
\verb+\eqno+ oder \verb+\leqno+ --- im \verb+textstyle+
des Mathematikmodus gesetzt wird.  Als Beispiel
betrachte man den folgenden Quellcode:

\begin{verbatim}
\begin{eqnarray}
 a &=& b + c \\
 a &=& b + c \nonumber \\
 a &=& b + c \lmark{(\ast{\ast}\ast)} \\
 a &=& b + c \rmark{\Box} \\
 a &=& b + c \lmark{\bf Hallo}\rmark{\rm Dirk} \\
 a &=& b + c
\end{eqnarray}
\end{verbatim}

Als Ergebnis erh"alt man:

\begin{eqnarray}
 a &=& b + c \\
 a &=& b + c \nonumber \\
 a &=& b + c \lmark{(\ast{\ast}\ast)} \\
 a &=& b + c \rmark{\Box} \\
 a &=& b + c \lmark{\bf Hallo}\rmark{\rm Dirk} \\
 a &=& b + c
\end{eqnarray}

Als Argument von \verb+\lmark+ und \verb+\rmark+ ist
alles erlaubt, was im Mathematikmodus m"oglich ist.
Die Verwendung von \verb+\lmark+ oder \verb+\lmark+ in
Verbindung mit \verb+\nonumber+ ist zwar zul"assig,
f"uhrt aber nicht zu dem gew"unschten Ergebnis.  Man
erh"alt n"amlich in dieser Formelzeile {\em keine\/}
Markierung (und keine Nummerierung).  In der n"achsten
Formelzeile (das kann auch die erste Zeile eines neuen
\verb+eqnarray+ sein) bekommt man dann die aktuell
gesetzte Markierung.

Man kann diesen Style mit den Optionen \verb+fleqn+
oder auch \verb+leqno+ verwenden, jedoch darf
\verb+eqmark+ erst {\em nach\/} \verb+leqno+ angegeben
werden.

Der \verb+eqmark.sty+ kann bei DANTE, Deutschsprachige
Anwendervereinigung \TeX{} e.V., oder mir bezogen
werden.

\begin{thebibliography}{99}
\bibitem{1}{\sc D.E. Knuth,}
 {\em The \TeX book.}
 Seventeenth printing,
 Addison Wesley,
 Januar 1990.
\end{thebibliography}

\end{document}