Laws of Form

Create, manage and display Laws of Form expressions like ((a)) (b) = a (b).