Changing existing labels is a nice thing to do, however sometimes you
want to add arbitrary text on the map, e.g. `Pleiades' or `Virgo
galaxy cluster'. For all user defined text there is the keyword
`text
'. For example,
text "Virgo galaxy cluster" at 12.7 10 color 0.0 0.0 0.9333 towards SE ;
This places the text `Virgo galaxy cluster' at the celestial coordinates 12.7h rectascension and +10^\circ declination in blue colour. See Colours, for how to denote colours in PP3.