Skip to content

[a11y TF] ambiguous notation

Jump to bottom
Peter Krautzberger edited this page Sep 9, 2018 · 42 revisions

As per minutes to the TF meeting on 2018-08-28, the TF wants to gather examples of ambiguous notation.

Fraction-like notations

Fraction-like notation look similar to a vertically stacked fraction notation. They are usually created in equation authoring systems using constructs based off of fraction. A typical example is MathML's mfrac element and TeX's \over, although tables might be used for stacking the elements in some of the notations shown.

Fraction

Example: x + y over 2

The numerator and denominator can be any expression and can nest.

Note: fractions might be spoken in many different ways, particularly for numeric fractions such as one half. Another special case is rates, such as kilometers per second ("kilometers per second").

Continued fraction

Example: continued fraction a_0 + fraction with numerator 1 and denominator a_1 + fraction ... till a_n in denominator

Technically, this is very similar to the meaning for a fraction but the diagonal ellipsis is what makes it technically not a regular fraction.

There are a number of alternative notations. For example Pringsheim:

Pringsheim

and Abramowitz and Stegun:

Abramowitz and Stegun

Binomial coefficient

Example: binomial coef image of n choose k

The top and bottom can be any expression and can nest, but nesting is very rare. Typically, they are relatively simple expressions.

These typically are generated as either a fraction with a zero-width fraction line enclosed in parens that stretch or as a 2x1 table/ 2 column vector (enclosed in parens that stretch)

Legendre symbol

Example: legengdre symbol a over p -- fraction notation enclosed in parens

The denominator should be a prime, which means typically it is either a prime integer or a variable (possibly subscripted) that represents a prime. Potentially, it could be an expression, but that would be very rare.

Note that because the Legendre symbol is an expression, it can be raised to a power as shown in the Jacobi symbol example below.

Jacobi symbol

Example: Jacobi symbol a over n defined in terms of Legendre symbols factorization of n

The example includes Legendre symbols on the right, which represents the prime factorization of n. Hence, knowing which is the Jacobi symbol and which is the Legendre symbol requires knowing with a number is prime and/or with a symbol represents a prime.

Derivative

Examples:

  • dx by dy,
  • d squared x by d y squared equals d by dy of d y by d x,
  • partial y by partial x,
  • i+j+k th partial with respect to x to the i, y to the j, z to the k followed by other notations for the same partial derivative

Total and partial derivatives can be written in several different notations. The Leibniz notation uses the fraction notation shown above. The function/variable being differentiated can be in the numerator or can appear after the fraction (second example). Higher order derivatives use superscripts on the 'd'/'∂' and on the variables of differentiation (second and fourth examples).

Because the differential d operator can be confused with a variable named d, the Unicode value U+2146 (ⅆ) might be used instead of d.

Logical deduction

Example: inference rule for A and B

More examples and an explanation of this notation: Wikipedia

2-Dimensional vector notation

Example: 2 by 1 column vector

2 row vectors/2x1 matrices may use parens or brackets to surround the fraction like notation. As noted above, with parens, these are identical notation to the binomial notation.

Roots vs radical sign

Authors usually do not differentiate between square roots, generic roots and the radical sign. Usually, they will use notation for square roots, e.g., check the notation used near "radical sign" at https://en.wikipedia.org/wiki/Nth_root.

Implicit operations

Equational content often omits implict operations which are supposed to be derived from the context. While Unicode provides such tools as invisible times or invisible function operation, these are often missing in real life content.

  • multiplication
    • e.g., ab + c vs id + c
  • function application
    • e.g., (f+g)(x) vs (f+g)(h)
Clone this wiki locally