v
AllL
AllR
ExL
ExR
Var
expression
variable
Abs