| Here is an example of pictorial expression of mathematical text.
The subject is the Peano's formulation of the sum of natural numbers. |
Peano's formulation
|
1. For every x define x + 1 = succ(x) 2. For every x, y define x + succ(y) = succ(x + y) |
| (equivalent) |  | (equivalent) |
|
1. For every x define x + 1 = succ(x) 2. For every x, y define x + succ(y) = succ(x) + y |
| Design |  | Design |
|
