You are entering an expression. Select one of the following.

\[Genid] : := [Expr].[Expr]
![Genid]:[Expr].[Expr]
[Expr]->[Expr]
([Expr])->[Expr]
Prop Set Type ?
( [Expr list] )