{-# OPTIONS --safe #-}
module Foundations.Notation where

open import Foundations.Notation.Adjunction       public
open import Foundations.Notation.Associativity    public
open import Foundations.Notation.Brackets         public
open import Foundations.Notation.Closure          public
open import Foundations.Notation.Commutativity    public
open import Foundations.Notation.Composition      public
open import Foundations.Notation.Decidability     public
open import Foundations.Notation.Duality          public
open import Foundations.Notation.Inverse          public
open import Foundations.Notation.Involutivity     public
open import Foundations.Notation.Isomorphism      public
open import Foundations.Notation.Logic            public
open import Foundations.Notation.Membership       public
open import Foundations.Notation.Reflexivity      public
open import Foundations.Notation.Retraction       public
open import Foundations.Notation.Section          public
open import Foundations.Notation.Underlying       public
open import Foundations.Notation.Unital.Inner     public
open import Foundations.Notation.Unital.Outer     public
open import Foundations.Notation.Whiskering.Inner public
open import Foundations.Notation.Whiskering.Outer public
