Alphabet 
a b 0:a ;
Sets
X = a;

Rules
"R"
0:X <= a _ a ;