diff --git a/Mathlib/Algebra/Algebra/NonUnitalHom.lean b/Mathlib/Algebra/Algebra/NonUnitalHom.lean index 5a7d6336ac2df8..0c25d588faebdb 100644 --- a/Mathlib/Algebra/Algebra/NonUnitalHom.lean +++ b/Mathlib/Algebra/Algebra/NonUnitalHom.lean @@ -59,10 +59,10 @@ structure NonUnitalAlgHom [Monoid R] [Monoid S] (φ : R →* S) (A : Type v) (B infixr:25 " →ₙₐ " => NonUnitalAlgHom _ @[inherit_doc] -notation:25 A " →ₙₐ[" R "] " B => NonUnitalAlgHom (MonoidHom.id R) A B +notation:25 A " →ₛₙₐ[" φ "] " B => NonUnitalAlgHom φ A B @[inherit_doc] -notation:25 A " →ₛₙₐ[" φ "] " B => NonUnitalAlgHom φ A B +notation:25 A " →ₙₐ[" R "] " B => NonUnitalAlgHom (MonoidHom.id R) A B attribute [nolint docBlame] NonUnitalAlgHom.toMulHom