Click in the open space to add a state Drag between states to add a transition Ctrl-drag a state to move graph layout Click a state or a transition to select it When a state is selected: R toggles reflexivity Delete removes the state When a transition is selected: L(eft), R(ight), B(oth) change direction Delete removes the transition When entering a formula: use ~A for $\lnot{}A$ use []A for $\Box