Moinsen, ganz kurz:

Möchte einen Pfeil haben auf dem sich oben ein "*" und unterhalb zB ein "G" befindet. \stackrel{above}{under} geht ungefähr in die Richtung, ist aber halt nur zweistellig. Auch das Schachteln von \stackrel führt nicht zum Wunschergebnis. Man kennt diese Notation vor allem aus FGI oder anderen Theorie-Veranstaltungen, wenn es darum geht, dass in einer Grammatik G ein Wort y aus einem Wort x in *-vielen Schritten ableitbar ist.
Idee?

[latex]\underset{G}{\overset{*}{=}}[/latex]
\underset{G}{\overset{*}{=}}

geiles Ding, Danke!

[latex]\underset{G}{\overset{*}{=}}[/latex]
\underset{G}{\overset{*}{=}}

schön, aber das erfordert:

\usepackage{amsmath}