GNU Aris Manual: Other Key Shortcuts

Previous: Rules Table, Up: Menu Options [Contents]

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