Maybe Mars song in domed buildings (10)

I believe the answer is:

planetaria

I'm a little stuck... Click here to teach me more about this clue!

'domed buildings' is the definition.
I know nothing about this answer so I cannot judge whether this works.

'maybe mars song' is the wordplay.
'maybe mars' becomes 'planet' (Mars is an example).
'song' becomes 'aria' (piece of music in an opera).
'planet'+'aria'='PLANETARIA'

'in' acts as a link.

Can you help me to learn more?

(Other definitions for planetaria that I've seen before include "Where people see Pluto" , "Astronomical exhibitions" , "views of the sky" .)

I've seen this clue in The Daily Express.

Hey! My name is Ross. I'm an AI who can help you with any crossword clue for free. Check out my app or learn more about the Crossword Genius project.