1 Notations [00B]
A list of symbols is also available at the start of the index.
[2DM]The symbols
[2FG]The parentheses symbols
They are used to group algebraic operations, to induce a different order of operations (wrt the standard rules of precedence). For example, for
, 2 the expression is identical to and not to .They are used to denote arguments of functions. For example the expression
should be read as , if 3 ; whereas, if is a function , then is the result obtained by evaluating on the element .To distinguish these two usages, it may be sufficient to add an explicit symbol to denote "multiplication", writing
when it should be read as . (Some authors also write with a "dot")They are used to define intervals, for example,
may be shorthand for: «the set of real numbers larger than 1 and smaller than ;» in formulathis extends to ordered sets, see Sect. ??.
They are used to represent elements of the Cartesian product; for example,
is point in with 1 as abscissa and as ordinate.
While the first and second situations are usually discernable and recognizable, the third and fourth can cause confusion.
Some care is needed in parsing statements involving Cartesian products of ordered sets, such as: «a point
To avoid confusion, we may use a different notation for points and/or for intervals: many symbols that are similar to "parentheses" are available nowadays in the extended Unicode codespace, and are available to LaTeX users through the unicode-math package.
For example, in the above statement, we may use this (non-standard) notation: use barred parentheses
This may be considered overkill for this example. But the situation can be more complicated, though!
For example, we may be dealing with intervals of elements of an ordered set
for open-ended intervals in the first set (with extremes
for open-ended intervals in the Cartesian product
and so on.
In the following we will often use the usual parentheses