Listing 4.5a Examples of <STRIKE> and <TT>