Indeed. "Object-oriented" fluent notation is basically equivalent to infix notation. https://mlajtos.mu/posts/new-kind-of-paper-2 https://mlajtos.mu/posts/new-

Indeed. "Object-oriented" fluent notation is basically equivalent to infix notation. https://mlajtos.mu/posts/new-kind-of-paper-2 https://mlajtos.mu/posts/new-kind-of-paper-2