2.5.2 Translation from G into P. As mentioned in Section 1 in relation to the scheme in Figure 3, the purpose of this translation is to draw the graphical symbols that are referred to in G. To picture the full map, the only symbols that must be drawn are the symbols of the base (Pbase), as emerging symbols do not have an independent pictorial realization.
the only translations that have to be defined are the translations of the symbols contained in the expression ~ (i.e., the map).