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 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2297,2297#msg-2297 Tue, 17 Dec 2024 10:33:04 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2297,2298#msg-2298 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2297,2298#msg-2298

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".]]> Ralf Wimmer Seminar Methoden der Verifikation Sun, 24 Jun 2007 14:23:10 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2297,2297#msg-2297 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2297,2297#msg-2297
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]]> Alexander Schulz Seminar Methoden der Verifikation Sat, 23 Jun 2007 17:18:48 +0200