Use astrological glyphs checkbox
The last of the 5 checkboxes at the top is a blanket preference to use astrological glyphs when dealing with time lords (either the Time Lords Graph, Time Lords list or Current Time Lords). It will not affect areas outside of the context of time lords. When unchecked the Time Lord lists will use the long names for the planets ("Jupiter" instead of the glyph for Jupiter for instance).
