<<Notation` raises warnings

Question

In a completely fresh kernel (after Quit[]ing), when I do

<<Notation`

I am met with

Join::incpt: Incompatible elements in Join[<|intt ->RowBox[{\[Integral],
RowBox[{\[SelectionPlaceholder] ,RowBox[{\[DifferentialD],\[Placeholder] }]}]}],
dintt ->RowBox[{SubsuperscriptBox[\[Integral],\[SelectionPlaceholder] ,
\[Placeholder] ],RowBox[{\[Placeholder] ,RowBox[{\[DifferentialD],\[Placeholder] }]}]}],
rintt ->RowBox[{UnderscriptBox[\[Integral],RowBox[{\[SelectionPlaceholder] ,
\[Element],\[Placeholder] }]],\[Placeholder] }],<<42>>,
cS ->TemplateBox[{},CombinatorS ],cW ->TemplateBox[{},CombinatorW ],
cY ->TemplateBox[{},CombinatorY ]|>,{<<1>>},{<<1>>},<<5>>,{<<1>>},{<<1>>},<<3>>] 
cannot be joined.

And another similarly dense error message; both are shown in the image below.

Of course, Join::incpt doesn't link to anything in the documentation, and it's not clear at all what this warning/error means.

Questions:

• Since it's in the Notation package, I think this is Wolfram's problem?
• Does it happen for others?

In case it matters, I am using $Version == "12.3.0 for Mac OS X x86 (64-bit) (May 10, 2021)". I don't think this happened with recent previous versions.

If so:

• Is it a bug?
• Can you find an example expression that looks like it is correct notation but fails because of this warning?

If not (since @Rohit Namjoshi is unable to reproduce on the same version):

• What might I have done to my installation that caused this?

Answer 1

It looks like they changed InputAliases from a list to an association, but this doesn't seem to be properly documented as far as I can tell. And clearly, they also did not update the Notation` package to support the new syntax. Until they fix it, you can use the following code to load the Notation` package without any errors:

Internal`InheritedBlock[
 {SetDelayed},
 Unprotect@SetDelayed;
 HoldPattern[
   Notation`AddInputAlias[args___] := 
    With[v : {s_ = _, o_ = _}, 
     With[_, SetOptions[n_, InputAliases -> Join[_, _]]]]] :=
  (
   Notation`AddInputAlias[args] := 
    With[v, SetOptions[n, InputAliases -> Join[o, <|s|>]]]
   );
 << Notation`
 ]

This effectively fixes the two offending definitions of AddInputAlias such that they work properly with the new format.

You might also need to reset the value of InputAliases to the state before Notation` broke it:

SetOptions[$FrontEnd, InputAliases -> 
  FirstCase[
    Quiet@CurrentValue[$FrontEnd, InputAliases], 
    _Association,
    Inherited,
    All
  ]
]

Answer 2

This is resolved in version 13.0 (at least on $Version == "13.0.0 for Mac OS X x86 (64-bit) (December 3, 2021)").