Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
group otter;
connective(app, phi) ::= <<(<phi; separator=app>)>>

Giving app = "&" (though you can assign whatever you want), it delivers:
(P(a)&P(b))

...