:TypeI:

Notation

Global Commands

Open Description Window

 

TypeI ::= :TypeI:

 

:TypeI: