Previous: Rules Table, Up: Menu Options

### 5.3 Other Key Shortcuts

These are the keyboard shortcuts for each of the connectives. Unlike most of the other keyboard shortcuts, these cannot be modified.

`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.