Require Adjoint.Composition.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]
Require Adjoint.Core.
Require Adjoint.Dual.
Require Adjoint.Identity.

Include Adjoint.Composition.AdjointCompositionNotations.
Include Adjoint.Core.AdjointCoreNotations.
Include Adjoint.Dual.AdjointDualNotations.
Include Adjoint.Identity.AdjointIdentityNotations.