8.3.8 Notation

   The notation of the construct is presented in this section.