I am trying the examples on Notation Tutorial

In:=  a + b\[LongLeftRightArrow]c // FullForm
Out:= Plus[a,LongLeftRightArrow[b,c]]

Then I try to change precedence

In:= Notation[a_\[LongLeftRightArrow]b_ \[DoubleLongRightArrow] LongLeftRightArrow[a_,b_]]
In:=  (a + b\[LongLeftRightArrow]c) // FullForm
Out:= Plus[a,LongLeftRightArrow[b,c]]

Gives the same output. Expected output is the following as shown in the website

LongLeftRightArrow[Plus[a,b], c]

But When I copy paste the Notation Syntax from the website it works. But If I use the Notation toolbar it doesn't work


In:= Notation[RowBox[{a_,TagBox["\[LongLeftRightArrow]",Identity,SyntaxForm->","],b_}] \[DoubleLongRightArrow] LongLeftRightArrow[a_,b_]]

Used Tagbox inside yellow box, but no change

  • $\begingroup$ The complete form of the symbol appeared in the tutorial is TagBox["\[LongLeftRightArrow]", Identity, SyntaxForm -> ","], not simply the symbol. $\endgroup$ – happy fish Mar 21 '17 at 11:43
  • $\begingroup$ Please check the update $\endgroup$ – Neel Basu Mar 21 '17 at 11:50
  • $\begingroup$ I only know one way to get it working(besides manually entering the row box expression): 1. Click the "Full Notation Palette", 2. open "wrapper box" 3. between a_ and b_, insert a box wrapper, then paste that tag box expression into it. I don't know how the documentation directly typed this thing. $\endgroup$ – happy fish Mar 21 '17 at 12:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.