Skip to content

Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.

Jacques-Henri Jourdan requested to merge jh/bottom_notation into master

As discussed in #3 (closed).

I completely removed support for the old notation. Should I provide a deprecated support for maintaining compatibility ?

Merge request reports