(** * Unicode notations for functors *)Require Import Functor.Core Functor.Composition.Core Functor.Dual. Require Import Basics.Utf8. Infix "โ" := compose : functor_scope. Notation "F โ x" := (object_of F x) : object_scope. Notation "F โ m" := (morphism_of F m) : morphism_scope. Notation "F 'แตแต'" := (opposite F) : functor_scope.