~ _ _ _ TILDE _ _ _ _ _ _ _ _ _ _ _ _ operator

The ~ is used as a unary prefix operator in the left-hand sides of rules to mark free variables. A double tilde marks an optional free variable.