notation
notation copied to clipboard
Investigate this algebraic datatype notation
https://legacy.cs.indiana.edu/~sabry/papers/rational.pdf