to->rightarrow
gets->leftarrow
implies->Longrightarrow
