Aris expects a certain form of syntax. Most of the connectives are infix, which means that they are placed in between their arguments. The negation is one exception to this.
Aris expects that all predicates start with an uppercase character. Aris also expects that all function symbols begin with a lower case character. After this, Aris will except any combination of upper case letters, lower case letters, numbers, or ‘_’.
To assist in understanding the proofs, Aris also allows for comments in sentences. To make a comment, simply insert a ‘;’. Aris will ignore everything after a ‘;’ when evaluating a sentence. This way, plaintext can be written into sentences.