Axiom
Symbols
Rules