Number n ::= d | nd (d in Digit) Symbol s ::= c | sc | sd (c in Char) Atom a ::= n | s Expr e ::= a | (e … e)