2 synonyms, 1 definition for DOUBLE STAR