module Precedences where

-- Terms (150 - 100)

infix 135 _∈_ _∉_ _⊆_ -- Axiom

-- Types (60 - 50)

-- Logic formers (40 - 30)

-- Descriptive properties (20)

-- Equalities (19)

-- Logic (18 - 10)

infixl 11 ∃_∈_,_ ⋀_∈_,_ -- Axiom
infix 11 _⟶_ _⟷_ -- Axiom

-- Proof (10 - 5)

-- Universes (separate)

