We don't have synonyms for double stars yet — it may be a rare, specialized, newly coined, or misspelled word. The closest thesaurus entries we have are double star, double sharp and double stops.
(n) :
(astronomy) Two stars that appear to be one when seen with the naked eye, either because they orbit one another (binary stars) or happen to be in the same line of sight even though they are separated by a great distance (optical binaries).
(n) :
(astronomy) Two stars which form a stellar system, such that they orbit the point of equilibrium of their gravitational fields; a binary star.
(n) :
(astronomy) Two stars that appear to be one when seen with the naked eye, either because they orbit one another (binary stars) or happen to be in the same line of sight even though they are separated by a great distance (optical binaries).
(n) :
(astronomy) Two stars which form a stellar system, such that they orbit the point of equilibrium of their gravitational fields; a binary star.