Work on chapter 2, experiment with math formulae

More work done on chapter 2.
Started using 'theorem' and 'equation' tokens to display formulae.
Looks good and will be used from now on, unless for minor formula.