³Whilst the text in Figure 20.1 has been produced in the normal mode, the text in Figure 20.2 was compiled with the maude package included with the ASCII option.