Keyboard Shortcuts - GNU Aris Manual
Description: GNU Aris Manual

Next: Rules Index, Previous: Basic Usage, Up: Top

## 5 Keyboard Shortcuts

`CTRL+N`
  Start a new proof.
`CTRL+O`
  Open an existing proof.
`CTRL+S`
  Save the current proof.
`CTRL+SHIFT+S`
  Save the current proof under a different name.
`CTRL+W`
  Close the current proof.
`CTRL+Q`
  Exit Aris.
`CTRL+P`
  Insert a new premise after the current line.
`CTRL+J`
  Insert a new conclusion after the current line.
`CTRL+B`
  Begin a new subproof after the current line.
`CTRL+D`
  End the current subproof, if there is one.
`CTRL+G`
  Copy the current line.
`CTRL+K`
  Kill the current line.
`CTRL+I`
  Insert the copied/killed line.
`CTRL+E`
  Evaluate the current line.
`CTRL+F`
  Evaluate the current proof.
`CTRL+L`
  Toggle the goal window for the current proof.
`CTRL+M`
  Toggle boolean mode for the current proof.
`CTRL+R`
  Toggle the rules window.
`CTRL+-`
  Change the font size to small (8pt).
`CTRL+0`
  Change the font size to medium (12pt).
`CTRL+=`
  Change the font size to large (16pt).
`F1`
  Display Aris help.
`CTRL+7`
  Insert a conjunction (‘`^`’) into Aris.
`CTRL+\`
  Insert a disjunction (‘`v`’) into Aris.
`CTRL+``
  Insert a negation (‘`-`’) into Aris.
`CTRL+4`
  Insert a conditional (‘`→`’) into Aris.
`CTRL+5`
  Insert a biconditional (‘`<->`’) into Aris.
`CTRL+2`
  Insert a universal (‘`V`’) into Aris.
`CTRL+3`
  Insert an existential (‘`3`’) into Aris.
`CTRL+6`
  Insert a tautology (‘`T`’) into Aris.
`CTRL+1`
  Insert a contradiction (‘`!`’) into Aris.
`CTRL+;`
  Insert an 'element of' predicate into Aris.
`CTRL+.`
  Insert a null object (‘`nil`’) into Aris.