Changed '\<=' to '<=' in Chapter 1