Previous: Rules Table, Up: Menu Options [Contents]
These are the keyboard shortcuts for each of the connectives. Unlike most of the other keyboard shortcuts, these cannot be modified.
Insert a conjunction (‘^’) into Aris.
Insert a disjunction (‘v’) into Aris.
Insert a negation (‘-’) into Aris.
Insert a conditional (‘→’) into Aris.
Insert a biconditional (‘<->’) into Aris.
Insert a universal (‘V’) into Aris.
Insert an existential (‘3’) into Aris.
Insert a tautology (‘T’) into Aris.
Insert a contradiction (‘!’) into Aris.
Insert an ’element of’ predicate into Aris.
Insert a null object (‘nil’) into Aris.