Notation
The notation of the construct is presented in this section.