arrow to rightarrow to rightarrow to right

TL /LTL