XSL FO Sample Copyright © 2002-2008 Antenna House, Inc. All rights reserved.
- -
Sample of MathML 2
Style of Mathematical Expressions
Excerpts from Chicago Manual of Styles 15th Edition.
14.22 Mathematical expression and punctuation
Mathematical expressions are sentences or parts of sentences, and they should be punctuated accordingly. Punctuation of displayed expressions requires special attention. In general, if several expressions appear in a single display, they should be separated by commas or semicolons. For example,
$$\begin{array}{c}{x}_{1}+{x}_{2}+{x}_{3}=3,\\ {x}_{1}{x}_{2}+{x}_{2}{x}_{3}+{x}_{3}{x}_{1}=6,\\ {x}_{1}{x}_{2}{x}_{3}=-1.\end{array}$$]]>
Consecutive lines of a single multiline expression should not be punctuated:
$$\begin{array}{c}{(\left|a+b\right|)}^{2}={(a+b)}^{2}={a}^{2}+2ab+{b}^{2}\\ \le {\left|a\right|}^{2}+2\left|a\right|\left|b\right|+{\left|b\right|}^{2}\\ ={\left|a\right|}^{2}+2\left|a\right|\left|b\right|+{\left|b\right|}^{2}\\ ={(\left|a\right|+\left|b\right|)}^{2}.\end{array}$$]]>
14.26 Functional notation
In functional notation, nested paires of parentheses are used instead of brackets or braces to indicate grouping:
$$(f\circ g\circ h)(x)=f(g(h(x))).$$]]>
14.31 Binomial coefficients
The notation $\left(\begin{array}{c}n\\ k\end{array}\right)$]]>, "n choose k," is called the binomial coefficient and stands for the number of ways k objects can be chosen from among a collection of n objects. It is defined by
$$\left(\begin{array}{c}n\\ k\end{array}\right)=\frac{n!}{k!(n-k)!},$$]]>
where n and k are positive integers and the notation ! stands for the factorial function.
$$n!=n\times (n-1)\times \cdots \times 1.$$]]>
14.33 Single vertical bar
A single vertical bar within limits is used to denote the evaluation of a formula at a particular value of one of its variables. For example,
$${\int}_{0}^{\pi /2}\mathrm{sin}xdx}=-\mathrm{cos}x{|}_{x=0}^{x=\pi /2}=1.$$]]>
14.34 Cases
Displayed mathematical expressions that present a choise between alternatives may be grouped using a single brace and are punctuated as follows:
$$\left|a\right|={\{}_{-a,\text{}a<0.}^{a,\text{}a\ge 0;}$$]]>
As a general rule, each alternative is equivalent to a clause in ordinary language and should be punctuated as such. If the alternatives are very long, they may be stated as separate equations:
$$\begin{array}{c}I(t)=A{e}^{{\Gamma}_{1}(t-{t}_{p})}\left\{1+{\epsilon}_{1}\mathrm{cos}\left[2\pi f(t-{t}_{p})\right]\right\}\\ \text{(1a)}& +B\left\{1+{\epsilon}_{2}\mathrm{cos}\left[2\pi f(t-{t}_{p})\right]\right\},t\le {t}_{p},I(t)=A{e}^{-{\Gamma}_{2}(t-{t}_{p})}\left\{1+{\epsilon}_{1}\mathrm{cos}\left[2\pi f(t-{t}_{p})\right]\right\}\\ \text{(1b)}& +B\left\{1+{\epsilon}_{2}\mathrm{cos}\left[2\pi f(t-{t}_{p})\right]\right\},t>{t}_{p},\end{array}$$]]>
14.49 Matrices
Matrices are arrays of terms displayed in rectangular arramgements of rows and columns and enclosed on the left and right by large brackets or parentheses. Matrices may be written
$\left[\begin{array}{cccc}{a}_{11}& {a}_{12}& \cdots & {a}_{1n}\\ {a}_{21}& {a}_{22}& \cdots & {a}_{2n}\\ \vdots & \vdots & & \vdots \\ {a}_{m1}& {a}_{m2}& \cdots & {a}_{mn}\end{array}\right]$]]> or $\left(\begin{array}{cccc}{a}_{11}& {a}_{12}& \cdots & {a}_{1n}\\ {a}_{21}& {a}_{22}& \cdots & {a}_{2n}\\ \vdots & \vdots & & \vdots \\ {a}_{m1}& {a}_{m2}& \cdots & {a}_{mn}\end{array}\right)$]]>
A matrix consisting of a single row is called a row matrix or a row vector; a matrix consisting of a single column is a column matrix or a column vector. For example,
$\left[\begin{array}{ccc}a& b& c\end{array}\right]$]]> and $\left[\begin{array}{c}a\\ b\\ c\end{array}\right]$]]>
are row and column matrices.
14.50 Determinants
If A is a square matrix, the determinant of A, denoted $\left|\text{A}\right|$]]> or det A, is a function that assigns a specific number to the matrix. If A is an $n\times n$]]> matrix, the determinant of A is represented by
$$\left|\begin{array}{cccc}{a}_{11}& {a}_{12}& \cdots & {a}_{1n}\\ {a}_{21}& {a}_{22}& \cdots & {a}_{2n}\\ \vdots & \vdots & & \vdots \\ {a}_{n1}& {a}_{n2}& \cdots & {a}_{nn}\end{array}\right|.$$]]>
Verical bars are used to distinguish the determinant of A from the matrix A. The Jacobian has a reserved notation:
$$J=\left|\frac{\partial (A,B)}{\partial (x,y)}\right|.$$]]>
This is sometimes generalized:
$$J=\left|\frac{\partial ({f}_{1},{f}_{2},\dots ,{f}_{n})}{\partial ({x}_{1},{x}_{2},\dots ,{x}_{n})}\right|.$$]]>