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