Direct derivation, derivation rules of direct application
Implicitly derived, n times derived
There are two symbols
The first is 
to indicate multiple use direct derivation
The second is 
to indicate zero or more times using direct derivation
n represents a number of intermediate steps of
Canonical derivation
In fact rightmost derivation