The following table shows mathematical symbols with their meaning:
Symbol |
Meaning |
Symbol |
Meaning |
≡ |
Is defined as |
≤ |
Less than or equal to |
= |
Is equal to |
Sigma, World state |
|
≠ |
Is not equal to |
Mu, Machine state |
|
║...║ |
Length of |
Upsilon, Ethereum state transition function |
|
Is an element of |
Block level state transition function |
||
Is not an element of |
. |