Use the ~ v & > and = keys for the connectives.
On most browsers, drag-and-drop can be used to re-arrange lines and subderivations.
Learn how to use the derivation utility here.