Iterative Equality

Syntax

Iterative-Equality   =  
 Term-Expression   =   Term-Expression   Simple-Justification  
 .=   Term-Expression   Simple-Justification  
 {   .=   Term-Expression   Simple-Justification   }   ;   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000