Ich möchte die Zeichenfolge „Uppaal“ in Latex in dieser Form schreiben:
Wie habe ich das gemacht?
Antwort1
Der folgende Befehl könnte das Problem lösen:
\def\uppaal{\raisebox{.5ex}{\scshape Uppaal}}
\uppaal
und bei Bedarf verwenden .
Ich möchte die Zeichenfolge „Uppaal“ in Latex in dieser Form schreiben:
Wie habe ich das gemacht?
Der folgende Befehl könnte das Problem lösen:
\def\uppaal{\raisebox{.5ex}{\scshape Uppaal}}
\uppaal
und bei Bedarf verwenden .