Gregory Malecha authored
- all ascii notation is marked "only parsing" so this PR shouldn't change anything for anyone using only unicode notation. - the algorithm for creating an ascii notation is pretty simple. - \ast -> * - \triangleright -> |> - \vee -> \/ - \wedge -> /\ - \forall -> forall - \exists -> exists - \ast -> **c1a30c58
To find the state of this project's repository at the time of any of these versions, check out the tags.