-- Terms (150 - 100)

infix 145 _[_/_] -- CalculusOfCommunicatingSystems

infix 140 _⁇_ _!_ -- CalculusOfCommunicatingSystems
infix 140 τ⟶_ _!_⟶_ _⁇_⟶_ _⟶_ _+_ _∥_ _\\_ _[_] _⟦_⟧ -- CalculusOfCommunicatingSystems

-- Types (60 - 50)

-- Logic formers (40 - 30)

infix 35 _—_⟶_ -- CalculusOfCommunicatingSystems

-- Descriptive properties (20)

-- Equalities (19)

-- Logic (18 - 10)

-- Proof (10 - 5)

