Hilberticus Help

File Menu

The items in this menu are mostly self-explaining but here is a list:

Clear

Clears the whole input window.
Load String...
Loads a peviously saved formula.
Save String...
Saves the formula in the input window. However, it doesn't save the result so you can check the formula again. While it is possible to read every file ending, it is recommended to make your own Hilberticus ending like ".hil" to find the saved formulas.
Exit
Exits this nice program.