LTLf 2 DFA

PLTL_f Syntax

Propositional Symbols

Symbol	Syntax
true	True
false	False
[a-z][a-z0-9_]*	Atomic

Boolean Operators

Symbol	Syntax
&, &&	And
\|, \|\|	Or
!, ~	Not
->, =>	Implication
<->, <=>	Equivalence

Past Temporal Operators

Symbol	Syntax
Y	Before
WY	WeakBefore
S	Since
P	Past Release
O	Once
H	Historically