On this page:
J-Notation
9.2.900

J-Notation🔗ℹ

 (require j-notation) package: j-notation

 

‹body›

 ::= 

 

  |  

‹group›

 

  |  

‹group› ; ‹body›

 

‹group-list›

 ::= 

 

  |  

‹group›

 

  |  

‹group› , ‹group-list›

 

‹group›

 ::= 

‹expression›+

 

‹expression›

 ::= 

‹name›

 

  |  

‹operator›

 

  |  

‹literal-value›

 

  |  

‹parens›

 

  |  

‹brackets›

 

  |  

‹block›

 

‹parens›

 ::= 

( ‹group-list› )

 

‹brackets›

 ::= 

[ ‹group-list› ]

 

‹block›

 ::= 

{ ‹body› }