State ◯

• Add: double-click on the canvas
• Move: drag it around
• Delete: click it and press the delete key (not the backspace key)
• Make it accepting: double-click it
• Name: click it and type something
  • Numeric subscript: put an underscore before the number (like "S_0")
  • Greek letter: put a backslash before it (like "\beta")

Transition →

• Add:
  • Start transition: shift-drag from the canvas to a state
  • Link states: shift-drag from one state to the other
  • Self-loop: shift-click on a state
• Move: drag it around
• Delete: click it and press the delete key (not the backspace key)
• Assign transition character: click it and type something