Next: , 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.