Operator types.
False.
True.
Empty word.
Atomic proposition.
Negation.
Next.
Eventually.
Globally.
PSL Closure.
Negated PSL Closure.
marked version of the Negated PSL Clusure
Exclusive Or.
Implication.
Equivalence.
until
release (dual of until)
weak until
strong release (dual of weak until)
Seq.
Seq, Marked.
Triggers.
(omega-Rational) Or
Rational Or.
(omega-Rational) And
Rational And.
Non-Length-Matching Rational-And.
Concatenation.
Fusion.
Star.
Fustion Star.