Alphabet a b ;
Rules
"rule name"
a:b => x^2 _ ;
