Alphabet a b ;
Rules
"rule name"
a:b => [ x | x x ] - x _ ;
