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