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 .
A version of this app is now available for iPhone and iPod Touch.
Go here and follow the iPhone link.