>Aa->a>A
>Ab->b>A
>Ba->a>B
>Bb->b>B

:a->:>A
:b->:>B

::>A->a::
::>B->b::

::->.
->: