This is a figure that is used in the answer to exercise 2.2:7 and is written in the programming language Metapost. You can edit the figure by clicking on the edit tab.