### Input file format

The input file should in **InToHyLo** format.

file := begin formula end

formula := true | false | proposition | negation | conjunction | disjunction | implication | dimplication | box | diamond | ( formula )

proposition := p number

relation := r number

negation := ~formula

conjunction := formula & formula

disjunction := formula | formula

implication := formula -> formula

dimplication := formula <-> formula

box := [relation] formula

diamond := formula

##### Example:

☐(p→ ¬◇q)∧(p∨q)

can be written as:

begin [r1](p1 -> ~q) & (p | q ) end