Dot

a a b b a->b c c b->c