Login
📚 Precalculus
Chapters ▾

8.3 Matrix Arithmetic

In Section, we used a special class of matrices, the augmented matrices, to assist us in solving systems of linear equations. In this section, we study matrices as mathematical objects of their own accord, temporarily divorced from systems of linear equations. To do so conveniently requires some more notation. When we write A = [ a i j ] m × n , we mean A is an m by n matrix1 and a i j is the entry found in the i th row and j th column. Schematically, we have

\begin{tabular c $ j $ c o u n t s c o l u m n s f r o m l e f t t o r i g h t \end{tabular} } A = [ a \tiny$1$ \tiny$1$ a \tiny$1$ \tiny$2$ a \tiny$1$ \tiny$n$ a \tiny$2$ \tiny$1$ a \tiny$2$ \tiny$2$ a \tiny$2$ n a m \tiny$1$ a m \tiny$2$ a m n ] \begin{tabular c $ i $ c o u n t s r o w s f r o m t o p t o b o t t o m \end{tabular} }

With this new notation we can define what it means for two matrices to be equal.

Essentially, two matrices are equal if they are the same size and they have the same numbers in the same spots.2 For example, the two 2 × 3 matrices below are, despite appearances, equal.

[ 0 2 9 25 117 3 ] = [ ln ( 1 ) 8 3 e 2 ln ( 3 ) 125 2 / 3 3 2 13 log ( 0.001 ) ]

Now that we have an agreed upon understanding of what it means for two matrices to equal each other, we may begin defining arithmetic operations on matrices. Our first operation is addition.

As an example, consider the sum below.

[ 2 3 4 1 0 7 ] + [ 1 4 5 3 8 1 ] = [ 2 + ( 1 ) 3 + 4 4 + ( 5 ) ( 1 ) + ( 3 ) 0 + 8 ( 7 ) + 1 ] = [ 1 7 1 4 8 6 ]

It is worth the reader's time to think what would have happened had we reversed the order of the summands above. As we would expect, we arrive at the same answer. In general, A + B = B + A for matrices A and B , provided they are the same size so that the sum is defined in the first place. This is the commutative property of matrix addition. To see why this is true in general, we appeal to the definition of matrix addition. Given A = [ a i j ] m × n and B = [ b i j ] m × n ,

A + B = [ a i j ] m × n + [ b i j ] m × n = [ a i j + b i j ] m × n = [ b i j + a i j ] m × n = [ b i j ] m × n + [ a i j ] m × n = B + A

where the second equality is the definition of A + B , the third equality holds by the commutative law of real number addition, and the fourth equality is the definition of B + A . In other words, matrix addition is commutative because real number addition is. A similar argument shows the associative property of matrix addition also holds, inherited in turn from the associative law of real number addition. Specifically, for matrices A , B , and C of the same size, ( A + B ) + C = A + ( B + C ) . In other words, when adding more than two matrices, it doesn't matter how they are grouped. This means that we can write A + B + C without parentheses and there is no ambiguity as to what this means.3 These properties and more are summarized in the following theorem.

The identity property is easily verified by resorting to the definition of matrix addition; just as the number 0 is the additive identity for real numbers, the matrix comprised of all 0 's does the same job for matrices. To establish the inverse property, given a matrix A = [ a i j ] m × n , we are looking for a matrix B = [ b i j ] m × n so that A + B = 0 m × n . By the definition of matrix addition, we must have that a i j + b i j = 0 for all i and j . Solving, we get b i j = a i j . Hence, given a matrix A , its additive inverse, which we call A , does exist and is unique and, moreover, is given by the formula: A = [ a i j ] m × n . The long and short of this is: to get the additive inverse of a matrix, take additive inverses of each of its entries. With the concept of additive inverse well in hand, we may now discuss what is meant by subtracting matrices. You may remember from arithmetic that a b = a + ( b ) ; that is, subtraction is defined as `adding the opposite (inverse).' We extend this concept to matrices. For two matrices A and B of the same size, we define A B = A + ( B ) . At the level of entries, this amounts to

A B = A + ( B ) = [ a i j ] m × n + [ b i j ] m × n = [ a i j + ( b i j ) ] m × n = [ a i j b i j ] m × n

Thus to subtract two matrices of equal size, we subtract their corresponding entries. Surprised?

Our next task is to define what it means to multiply a matrix by a real number. Thinking back to arithmetic, you may recall that multiplication, at least by a natural number, can be thought of as `rapid addition.' For example, 2 + 2 + 2 = 3 2 . We know from algebra4 that 3 x = x + x + x , so it seems natural that given a matrix A , we define 3 A = A + A + A . If A = [ a i j ] m × n , we have

3 A = A + A + A = [ a i j ] m × n + [ a i j ] m × n + [ a i j ] m × n = [ a i j + a i j + a i j ] m × n = [ 3 a i j ] m × n

In other words, multiplying the matrix in this fashion by 3 is the same as multiplying each entry by 3 . This leads us to the following definition.

One may well wonder why the word `scalar' is used for `real number.' It has everything to do with `scaling' factors.6 A point P ( x , y ) in the plane can be represented by its position matrix, P :

( x , y ) P = [ x y ]

Suppose we take the point ( 2 , 1 ) and multiply its position matrix by 3 . We have

3 P = 3 [ 2 1 ] = [ 3 ( 2 ) 3 ( 1 ) ] = [ 6 3 ]

which corresponds to the point ( 6 , 3 ) . We can imagine taking ( 2 , 1 ) to ( 6 , 3 ) in this fashion as a dilation by a factor of 3 in both the horizontal and vertical directions. Doing this to all points ( x , y ) in the plane, therefore, has the effect of magnifying (scaling) the plane by a factor of 3 .

As did matrix addition, scalar multiplication inherits many properties from real number arithmetic. Below we summarize these properties.

As with the other results in this section, Theorem can be proved using the definitions of scalar multiplication and matrix addition. For example, to prove that k ( A + B ) = k A + k B for a scalar k and m × n matrices A and B , we start by adding A and B , then multiplying by k and seeing how that compares with the sum of k A and k B .

k ( A + B ) = k ( [ a i j ] m × n + [ b i j ] m × n ) = k [ a i j + b i j ] m × n = [ k ( a i j + b i j ) ] m × n = [ k a i j + k b i j ] m × n

As for k A + k B , we have

k A + k B = k [ a i j ] m × n + k [ b i j ] m × n = [ k a i j ] m × n + [ k b i j ] m × n = [ k a i j + k b i j ] m × n

which establishes the property. The remaining properties are left to the reader. The properties in Theorems and establish an algebraic system that lets us treat matrices and scalars more or less as we would real numbers and variables, as the next example illustrates.

While the solution to the previous example is written in excruciating detail, in practice many of the steps above are omitted. We have spelled out each step in this example to encourage the reader to justify each step using the definitions and properties we have established thus far for matrix arithmetic. The reader is encouraged to solve the equation in Example Example 1 as they would any other linear equation, for example: 3 a ( 2 + 5 a ) = 4 + 1 3 ( 9 ) .

We now turn our attention to matrix multiplication - that is, multiplying a matrix by another matrix. Based on the `no surprises' trend so far in the section, you may expect that in order to multiply two matrices, they must be of the same size and you find the product by multiplying the corresponding entries. While this kind of product is used in other areas of mathematics,7 we define matrix multiplication to serve us in solving systems of linear equations. To that end, we begin by defining the product of a row and a column. We motivate the general definition with an example. Consider the two matrices A and B below.

A = [ 2 0 1 10 3 5 ] B = [ 3 1 2 8 4 8 5 9 5 0 2 12 ]

Let R 1 denote the first row of A and C 1 denote the first column of B . To find the `product' of R 1 with C 1 , denoted R 1 C 1 , we first find the product of the first entry in R 1 and the first entry in C 1 . Next, we add to that the product of the second entry in R 1 and the second entry in C 1 . Finally, we take that sum and we add to that the product of the last entry in R 1 and the last entry in C 1 . Using entry notation, R 1 C 1 = a 11 b 11 + a 12 b 21 + a 13 b 31 = ( 2 ) ( 3 ) + ( 0 ) ( 4 ) + ( 1 ) ( 5 ) = 6 + 0 + ( 5 ) = 1 . We can visualize this schematically as follows

[ 2 0 1 10 3 5 ] [ 3 1 2 8 4 8 5 9 5 0 2 12 ]

2 0 1 3 4 5 2 0 1 3 4 5 2 0 $-1$ 3 4 5 a \tiny$11$ b \tiny$11$ + a \tiny$12$ b \tiny$21$ + a \tiny$13$ b \tiny$31$ ( 2 ) ( 3 ) + ( 0 ) ( 4 ) + ( 1 ) ( 5 )

To find R 2 C 3 where R 2 denotes the second row of A and C 3 denotes the third column of B , we proceed similarly. We start with finding the product of the first entry of R 2 with the first entry in C 3 then add to it the product of the second entry in R 2 with the second entry in C 3 , and so forth. Using entry notation, we have R 2 C 3 = a 21 b 13 + a 22 b 23 + a 23 b 33 = ( 10 ) ( 2 ) + ( 3 ) ( 5 ) + ( 5 ) ( 2 ) = 45 . Schematically,

[ 2 0 1 10 3 5 ] [ 3 1 2 8 4 8 5 9 5 0 2 12 ]

$-10$ 3 5 \hphantom{$-$ 2 } 5 2 10 3 5 2 $-5$ 2 10 3 $5$ 2 5 $-2$ a \tiny$21$ b \tiny$13$ = ( 10 ) ( 2 ) = 20 + a \tiny$22$ b \tiny$23$ = ( 3 ) ( 5 ) = 15 + a \tiny$23$ b \tiny$33$ = ( 5 ) ( 2 ) = 10

Generalizing this process, we have the following definition.

Note that in order to multiply a row by a column, the number of entries in the row must match the number of entries in the column. We are now in the position to define matrix multiplication.

There are a number of subtleties in Definition which warrant closer inspection. First and foremost, Definition tells us that the i j -entry of a matrix product A B is the i th row of A times the j th column of B . In order for this to be defined, the number of entries in the rows of A must match the number of entries in the columns of B . This means that the number of columns of A must match8 the number of rows of B . In other words, to multiply A times B , the second dimension of A must match the first dimension of B , which is why in Definition, A m × n ¯ is being multiplied by a matrix B n ¯ × r . Furthermore, the product matrix A B has as many rows as A and as many columns of B . As a result, when multiplying a matrix A m ¯ × n by a matrix B n × r ¯ , the result is the matrix A B m ¯ × r ¯ . Returning to our example matrices below, we see that A is a 2 × 3 ¯ matrix and B is a 3 ¯ × 4 matrix. This means that the product matrix A B is defined and will be a 2 × 4 matrix.

A = [ 2 0 1 10 3 5 ] B = [ 3 1 2 8 4 8 5 9 5 0 2 12 ]

Using R i to denote the i th row of A and C j to denote the j th column of B , we form A B according to Definition.

A B = [ R 1 C 1 R 1 C 2 R 1 C 3 R 1 C 4 R 2 C 1 R 2 C 2 R 2 C 3 R 2 C 4 ] = [ 1 2 6 4 7 14 45 47 ]

Note that the product B A is not defined, since B is a 3 × 4 ¯ matrix while A is a 2 ¯ × 3 matrix; B has more columns than A has rows, and so it is not possible to multiply a row of B by a column of A . Even when the dimensions of A and B are compatible such that A B and B A are both defined, the product A B and B A aren't necessarily equal.9 In other words, A B may not equal B A . Although there is no commutative property of matrix multiplication in general, several other real number properties are inherited by matrix multiplication, as illustrated in our next theorem.

The one property in Theorem which begs further investigation is, without doubt, the multiplicative identity. The entries in a matrix where i = j comprise what is called the main diagonal of the matrix. The identity matrix has 1 's along its main diagonal and 0 's everywhere else. A few examples of the matrix I k mentioned in Theorem are given below. The reader is encouraged to see how they match the definition of the identity matrix presented there.

[ 1 ] [ 1 0 0 1 ] [ 1 0 0 0 1 0 0 0 1 ] [ 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ] I 1 I 2 I 3 I 4

The identity matrix is an example of what is called a square matrix as it has the same number of rows as columns. Note that to in order to verify that the identity matrix acts as a multiplicative identity, some care must be taken depending on the order of the multiplication. For example, take the matrix 2 × 3 matrix A from earlier

A = [ 2 0 1 10 3 5 ]

In order for the product I k A to be defined, k = 2 ; similarly, for A I k to be defined, k = 3 . We leave it to the reader to show I 2 A = A and A I 3 = A . In other words,

[ 1 0 0 1 ] [ 2 0 1 10 3 5 ] = [ 2 0 1 10 3 5 ]

and

[ 2 0 1 10 3 5 ] [ 1 0 0 0 1 0 0 0 1 ] = [ 2 0 1 10 3 5 ]

While the proofs of the properties in Theorem are computational in nature, the notation becomes quite involved very quickly, so they are left to a course in Linear Algebra. The following example provides some practice with matrix multiplication and its properties. As usual, some valuable lessons are to be learned.

Example Example 2 illustrates some interesting features of matrix multiplication. First note that in part 1, neither A nor B is the zero matrix, yet the product A B is the zero matrix. Hence, the the zero product property enjoyed by real numbers and scalar multiplication does not hold for matrix multiplication. Parts 2 and 3 introduce us to polynomials involving matrices. The reader is encouraged to step back and compare our expansion of the matrix product ( M 2 I 4 ) ( M + 3 I 4 ) in part 3 with the product ( x 2 ) ( x + 3 ) from real number algebra. The exercises explore this kind of parallel further.

As we mentioned earlier, a point P ( x , y ) in the x y -plane can be represented as a 2 × 1 position matrix. We now show that matrix multiplication can be used to rotate these points, and hence graphs of equations.

When we started this section, we mentioned that we would temporarily consider matrices as their own entities, but that the algebra developed here would ultimately allow us to solve systems of linear equations. To that end, consider the system

{ 3 x y + z = 8 x + 2 y z = 4 2 x + 3 y 4 z = 10

In Section, we encoded this system into the augmented matrix

[ 3 1 1 8 1 2 1 4 2 3 4 10 ]

Recall that the entries to the left of the vertical line come from the coefficients of the variables in the system, while those on the right comprise the associated constants. For that reason, we may form the coefficient matrix A , the unknowns matrix X and the constant matrix B as below

A = [ 3 1 1 1 2 1 2 3 4 ] X = [ x y z ] B = [ 8 4 10 ]

We now consider the matrix equation A X = B .

A X = B [ 3 1 1 1 2 1 2 3 4 ] [ x y z ] = [ 8 4 10 ] [ 3 x y + z x + 2 y z 2 x + 3 y 4 z ] = [ 8 4 10 ]

We see that finding a solution ( x , y , z ) to the original system corresponds to finding a solution X for the matrix equation A X = B . If we think about solving the real number equation a x = b , we would simply `divide' both sides by a . Is it possible to `divide' both sides of the matrix equation A X = B by the matrix A ? This is the central topic of Section.

Exercises

For each pair of matrices A and B in Exercises -, find the following, if defined

  • 3 A
  • B
  • A 2
  • A 2 B
  • A B
  • B A
  1. A = [ 2 3 1 4 ] , B = [ 5 2 4 8 ]
  2. A = [ 1 5 3 6 ] , B = [ 2 10 7 1 ]
  3. A = [ 1 3 5 2 ] , B = [ 7 0 8 3 1 4 ]
  4. A = [ 2 4 6 8 ] , B = [ 1 3 5 7 9 11 ]
  5. A = [ 7 8 9 ] , B = [ 1 2 3 ]
  6. A = [ 1 2 3 4 5 6 ] , B = [ 5 1 8 ]
  7. A = [ 2 3 5 3 1 2 7 1 1 ] , B = [ 1 2 1 17 33 19 10 19 11 ]

In Exercises -, use the matrices

A = [ 1 2 3 4 ] B = [ 0 3 5 2 ] C = [ 10 11 2 0 3 5 5 9 ]

D = [ 7 13 4 3 0 6 8 ] E = [ 1 2 3 0 4 9 0 0 5 ]

to compute the following or state that the indicated operation is undefined.

  1. 7 B 4 A
  2. A B
  3. B A
  4. E + D
  5. E D
  6. C D + 2 I 2 A
  7. A 4 I 2
  8. A 2 B 2
  9. ( A + B ) ( A B )
  10. A 2 5 A 2 I 2
  11. E 2 + 5 E 36 I 3
  12. E D C
  13. C D E
  14. A B C E D I 2
  15. Let A = [ a b c d e f ] E 1 = [ 0 1 1 0 ] E 2 = [ 5 0 0 1 ] E 3 = [ 1 2 0 1 ]

    Compute E 1 A , E 2 A and E 3 A . What effect did each of the E i matrices have on the rows of A ? Create E 4 so that its effect on A is to multiply the bottom row by 6 . How would you extend this idea to matrices with more than two rows?

In Exercises -, consider the following scenario. In the small village of Pedimaxus in the country of Sasquatchia, all 150 residents get one of the two local newspapers. Market research has shown that in any given week, 90% of those who subscribe to the Pedimaxus Tribune want to keep getting it, but 10% want to switch to the Sasquatchia Picayune. Of those who receive the Picayune, 80% want to continue with it and 20% want switch to the Tribune. We can express this situation using matrices. Specifically, let X be the `state matrix' given by

X = [ T P ]

where T is the number of people who get the Tribune and P is the number of people who get the Picayune in a given week. Let Q be the `transition matrix' given by

Q = [ 0.90 0.20 0.10 0.80 ]

such that Q X will be the state matrix for the next week.

  1. Let's assume that when Pedimaxus was founded, all 150 residents got the Tribune. (Let's call this Week 0.) This would mean

    X = [ 150 0 ]

    Since 10% of that 150 want to switch to the Picayune, we should have that for Week 1, 135 people get the Tribune and 15 people get the Picayune. Show that Q X in this situation is indeed

    Q X = [ 135 15 ]

  2. Assuming that the percentages stay the same, we can get to the subscription numbers for Week 2 by computing Q 2 X . How many people get each paper in Week 2?
  3. Explain why the transition matrix does what we want it to do.
  4. If the conditions do not change from week to week, then Q remains the same and we have what's known as a Stochastic Process 11 because Week n 's numbers are found by computing Q n X . Choose a few values of n and, with the help of your classmates and calculator, find out how many people get each paper for that week. You should start to see a pattern as n .
  5. If you didn't see the pattern, we'll help you out. Let

    X s = [ 100 50 ] .

    Show that Q X s = X s This is called the steady state because the number of people who get each paper didn't change for the next week. Show that Q n X X s as n .

  6. Now let

    S = [ 2 3 2 3 1 3 1 3 ]

    Show that Q n S as n .

  7. Show that S Y = X s for any matrix Y of the form

    Y = [ y 150 y ]

    This means that no matter how the distribution starts in Pedimaxus, if Q is applied often enough, we always end up with 100 people getting the Tribune and 50 people getting the Picayune.

  8. Let z = a + b i and w = c + d i be arbitrary complex numbers. Associate z and w with the matrices

    Z = [ a b b a ] and W = [ c d d c ]

    Show that complex number addition, subtraction and multiplication are mirrored by the associated matrix arithmetic. That is, show that Z + W , Z W and Z W produce matrices which can be associated with the complex numbers z + w , z w and z w , respectively.

  9. Let

    A = [ 1 2 3 4 ] and B = [ 0 3 5 2 ]

    Compare ( A + B ) 2 to A 2 + 2 A B + B 2 . Discuss with your classmates what constraints must be placed on two arbitrary matrices A and B so that both ( A + B ) 2 and A 2 + 2 A B + B 2 exist. When will ( A + B ) 2 = A 2 + 2 A B + B 2 ? In general, what is the correct formula for ( A + B ) 2 ?

In Exercises -, consider the following definitions. A square matrix is said to be an upper triangular matrix if all of its entries below the main diagonal are zero and it is said to be a lower triangular matrix if all of its entries above the main diagonal are zero. For example,

E = [ 1 2 3 0 4 9 0 0 5 ]

from Exercises - above is an upper triangular matrix whereas

F = [ 1 0 3 0 ]

is a lower triangular matrix. (Zeros are allowed on the main diagonal.) Discuss the following questions with your classmates.

  1. Give an example of a matrix which is neither upper triangular nor lower triangular.
  2. Is the product of two n × n upper triangular matrices always upper triangular?
  3. Is the product of two n × n lower triangular matrices always lower triangular?
  4. Given the matrix

    A = [ 1 2 3 4 ]

    write A as L U where L is a lower triangular matrix and U is an upper triangular matrix?

  5. Are there any matrices which are simultaneously upper and lower triangular?

Answers

  1. For A = [ 2 3 1 4 ] and B = [ 5 2 4 8 ]

    • 3 A = [ 6 9 3 12 ]
    • B = [ 5 2 4 8 ]
    • A 2 = [ 1 18 6 13 ]
    • A 2 B = [ 8 1 7 12 ]
    • A B = [ 2 28 21 30 ]
    • B A = [ 8 23 16 20 ]
  2. For A = [ 1 5 3 6 ] and B = [ 2 10 7 1 ]

    • 3 A = [ 3 15 9 18 ]
    • B = [ 2 10 7 1 ]
    • A 2 = [ 14 25 15 21 ]
    • A 2 B = [ 5 15 11 4 ]
    • A B = [ 37 5 48 24 ]
    • B A = [ 32 70 4 29 ]
  3. For A = [ 1 3 5 2 ] and B = [ 7 0 8 3 1 4 ]

    • 3 A = [ 3 9 15 6 ]
    • B = [ 7 0 8 3 1 4 ]
    • A 2 = [ 16 3 5 19 ]
    • A 2 B is not defined
    • A B = [ 16 3 4 29 2 48 ]
    • B A is not defined
  4. For A = [ 2 4 6 8 ] and B = [ 1 3 5 7 9 11 ]

    • 3 A = [ 6 12 18 24 ]
    • B = [ 1 3 5 7 9 11 ]
    • A 2 = [ 28 40 60 88 ]
    • A 2 B is not defined
    • A B = [ 26 30 34 50 54 58 ]
    • B A is not defined
  5. For A = [ 7 8 9 ] and B = [ 1 2 3 ]

    • 3 A = [ 21 24 27 ]
    • B = [ 1 2 3 ]
    • A 2 is not defined
    • A 2 B is not defined
    • A B = [ 7 14 21 8 16 24 9 18 27 ]
    • B A = [ 50 ]
  6. For A = [ 1 2 3 4 5 6 ] and B = [ 5 1 8 ]

    • 3 A = [ 3 6 9 12 15 18 ]
    • B = [ 5 1 8 ]
    • A 2 is not defined
    • A 2 B is not defined
    • A B is not defined
    • B A = [ 32 34 ]
  7. For A = [ 2 3 5 3 1 2 7 1 1 ] and B = [ 1 2 1 17 33 19 10 19 11 ]

    • 3 A = [ 6 9 15 9 3 6 21 3 3 ]
    • B = [ 1 2 1 17 33 19 10 19 11 ]
    • A 2 = [ 40 4 11 23 10 15 4 21 36 ]
    • A 2 B = [ 0 7 3 31 65 40 27 37 23 ]
    • A B = [ 1 0 0 0 1 0 0 0 1 ]
    • B A = [ 1 0 0 0 1 0 0 0 1 ]
  8. 7 B 4 A = [ 4 29 47 2 ]
  9. A B = [ 10 1 20 1 ]
  10. B A = [ 9 12 1 2 ]
  11. E + D is undefined
  12. E D = [ 67 3 11 178 3 72 30 40 ]
  13. C D + 2 I 2 A = [ 238 3 126 863 15 361 5 ]
  14. A 4 I 2 = [ 3 2 3 0 ]
  15. A 2 B 2 = [ 8 16 25 3 ]
  16. ( A + B ) ( A B ) = [ 7 3 46 2 ]
  17. A 2 5 A 2 I 2 = [ 0 0 0 0 ]
  18. E 2 + 5 E 36 I 3 = [ 30 20 15 0 0 36 0 0 36 ]
  19. E D C = [ 3449 15 407 6 99 9548 15 101 3 648 324 35 360 ]
  20. C D E is undefined
  21. A B C E D I 2 = [ 90749 15 28867 5 156601 15 47033 5 ]
  22. E 1 A = [ d e f a b c ] E 1 interchanged R 1 and R 2 of A . E 2 A = [ 5 a 5 b 5 c d e f ] E 2 multiplied R 1 of A by 5. E 3 A = [ a 2 d b 2 e c 2 f d e f ] E 3 replaced R 1 in A with R 1 2 R 2 . E 4 = [ 1 0 0 6 ]

Adapted from Precalculus, 3rd corrected edition, by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.