Table 1 – Conventions used in state machines
Convention 
Meaning 
:= 
Assignment: value of an item on the left is replaced by value of the item on the right. 
< 
Less than: a logical condition yielding TRUE if and only if an item on the left is less than the item on the right. 
<= 
Less or equal than: a logical condition yielding TRUE if and only if an item on the left is less or equal than the item on the right. 
> 
Greater than: a logical condition yielding TRUE if and only if the item on the left is greater than the item on the right. 
>= 
Greater or equal than: a logical condition yielding TRUE if and only if the item on the left is greater or equal than the item on the right. 
== 
Equality: a logical condition yielding TRUE if and only if the item on the left is equal to an item on the right. 
<> 
Inequality: a logical condition yielding TRUE if and only if the item on the left is not equal to an item on the right. 
&& 
Logical “AND” (Operation on binary values or results) 
 
Logical “OR” (Operation on binary values or results) 

Logical “XOR” (Operation on binary values or digital values) 
[..] 
UML Guard condition, if and only if the guard is TRUE the respective transition is enabled 