Fix alignment in the Nat induction principle display

Note: the problematic display occurs on p. 37 of [http://hottheory.files.wordpress.com/2013/03/hott-online.pdf](http://hottheory.files.wordpress.com/2013/03/hott-online.pdf) in section 1.9: "The natural numbers".