Seminar Methoden der Verifikation :
LRA+ABS Forum
LaTeX Symbole
Posted by:
Alexander Schulz
()
Date: June 23, 2007 05:18PM
Hallo zusammen,
ich bin auf der Suche nach folgenden Symbolen:
- CTL Operator "eventually" (rhombus)
- CTL Operator "always" (quadrat)
- weiter finde ich keine Passende Schriftart / Symbol ür das spezielle U (until) und w(steht fürn einzelloperator) in meinen CTL Formeln.
Wäre schön wenn mir jemand weiterhelfen könnte
Gruß Alex.
===============
Nachtrag: 24.06.07
Die 2 CTL Operatoren hab ich gefunden, vielleicht sucht sie noch jemand:
eventually: \diamondsuit
und always: \square
Edited 2 time(s). Last edit at 06/24/2007 02:04PM by Alex.S..
ich bin auf der Suche nach folgenden Symbolen:
- CTL Operator "eventually" (rhombus)
- CTL Operator "always" (quadrat)
- weiter finde ich keine Passende Schriftart / Symbol ür das spezielle U (until) und w(steht fürn einzelloperator) in meinen CTL Formeln.
Wäre schön wenn mir jemand weiterhelfen könnte
Gruß Alex.
===============
Nachtrag: 24.06.07
Die 2 CTL Operatoren hab ich gefunden, vielleicht sucht sie noch jemand:
eventually: \diamondsuit
und always: \square
Edited 2 time(s). Last edit at 06/24/2007 02:04PM by Alex.S..
Re: LaTeX Symbole
Posted by:
Ralf Wimmer
()
Date: June 24, 2007 02:23PM
Hi Alex,
das "U" bzw. "W" kannst Du entweder als normales "U" bzw. "W" schreiben oder die kalligraphischen Schriften nehmen: \mathcal{U}, \mathcal{W} (im Mathe-Modus von LaTeX).
Gruß,
Ralf.
P.S.: Für eventually (diamond) geht auch "F", für always (box) "G".
das "U" bzw. "W" kannst Du entweder als normales "U" bzw. "W" schreiben oder die kalligraphischen Schriften nehmen: \mathcal{U}, \mathcal{W} (im Mathe-Modus von LaTeX).
Gruß,
Ralf.
P.S.: Für eventually (diamond) geht auch "F", für always (box) "G".
Sorry, you do not have permission to post/reply in this forum.