From my understanding symbols exist within Stellar accounts, in other words each account is a distinct namespace for symbols.
In this example there could be thousands of distinct "AstroDollars" asset types that would share nothing in common except for the symbol, provided that they were each issued by distinct accounts.
Is that correct?