The precedence of any new notation or operator is determined by examining the components from which it is constructed. For instance, +_ ℛ is grouped according to the ...

Simplify[expr] performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. Simplify[expr, assum] does simplification using ...

NHoldAll is an attribute which specifies that none of the arguments to a function should be affected by N.

StringReplaceList["string", s -> sp] or StringReplaceList["string", {s_1 -> sp_1, s_2 -> sp_2, ...}] gives a list of the strings obtained by replacing each individual ...

Just as Mathematica allows you to define how expressions should be evaluated, so also it allows you to define how expressions should be formatted for output. The basic idea ...

Invisible characters. In the input there is an invisible comma between the 1 and 2. Here there is an invisible space between the x and y, interpreted as multiplication.

Function[body] or body & is a pure function. The formal parameters are # (or #1), #2, etc. Function[x, body] is a pure function with a single formal parameter x. ...

Some operators used in basic arithmetic and algebra. Note that the  for ∖[Cross] is distinguished by being drawn slightly smaller than the × for ∖[Times]. Interpretation of ...

ToString[expr] gives a string corresponding to the printed form of expr in OutputForm. ToString[expr, form] gives the string corresponding to output in the specified form.

Due to the complex inner workings of the Notation Package it is helpful to outline some of the more advanced features and structures of the Mathematica front end and how they ...