Alphabet a b ;

Rules
"R"
[a:b | b:a] <=> a _ ;