This system supports; /\, \/, ~, and =>.
Assumptions
Conclusions
Result
Tree