#axiom
F
#rules
F -> F[+F]F[-F]F
#end rules