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.