.nr PO 1i
.ND
.SH
Adding axioms
.PP
In order to add axioms press the "add axioms" button on the main control
panel. A new window should then pop up (your window manager will probably
ask you where to put it) labelled "xmagic: add axioms". This window will
have 18 predefined axioms written in it. There will be also empty slots
for 5 additional axioms which you can define yourself.
.PP
You can add an axiom by clicking on it. The selected axiom will become
highlighted.
You can delete a selected axiom by clicking on it again. The deletion of
the axiom will be marked by the axiom becoming unhighlighted.
.PP
In order to define your own axioms click on the "define axiom" button.
A new window will then appear labelled "xmagic: define axiom". Type in the
axiom in the window and press any of the buttons in the bottom line with
numbers 19 through 23 on them. The number of the button will define
the place of the axiom in the main "add axioms:" table. You can then add
this axiom in the same way as with the predefined axiom. You can modify the
difinition of any of the axioms 19 through 23 at any time. If you modify
a selected axiom, it's modified definition will be passed to MaGIC, and
it will remain selected, unless the definition was rejected by MaGIC due
to syntax errors.