O ticker público da SpaceX será $MARS?

Este mercado será resolvido de acordo com o símbolo de ticker público usado pela SpaceX em um IPO (Oferta Pública Inicial) até 31 de dezembro de 2027, 11:59 PM ET. Um anúncio oficial da SpaceX de que eles farão um IPO sob um símbolo de ticker específico será suficiente para resolver este mercado. Se um ticker usado pela SpaceX em um IPO qualificado for uma variante de um símbolo de ticker listado neste grupo de mercado com letras adicionais para denotar uma classe específica de ações, ele será considerado como sendo esse ticker (por exemplo, se a SpaceX usar um símbolo de ticker de $MARS.A ou $MARSA, este mercado será resolvido para $MARS). Se a SpaceX anunciar um IPO com vários tickers que não são considerados o mesmo ticker sob a regra anterior (ou seja, $MARS.A e $MARS.B seriam considerados o mesmo ticker), este mercado permanecerá aberto até o primeiro dia de negociação pública da SpaceX e será resolvido de acordo com o ticker que simboliza a classe de segurança com a maior capitalização de mercado. A capitalização de mercado é calculada como o número de ações em circulação multiplicado pelo preço de fechamento das ações no primeiro dia de negociação. Se isso também resultar em um empate, este mercado será resolvido de acordo com o símbolo de ticker que vier primeiro em ordem alfabética. Se a SpaceX fizer um IPO com um ticker não listado, ou não fizer um IPO ou anunciar oficialmente um IPO e um símbolo de ticker até 31 de dezembro de 2027, 11:59 PM ET, este mercado será resolvido como "Outro". A principal fonte de resolução para este mercado será a informação oficial da SpaceX e a página de listagem oficial da bolsa primária. Caso o valor relevante não seja exibido, outra fonte confiável será utilizada. Observação: No caso de uma interrupção no curso da sessão de negociação normal no primeiro dia de negociação da SpaceX (por exemplo, um disjuntor ou meio dia), o mercado usará o preço de fechamento oficial da sessão abreviada. Se nenhum preço de fechamento oficial for publicado, o mercado usará o preço de fechamento no próximo dia de negociação para o qual um preço de fechamento oficial for publicado, tratando-o como o primeiro dia de negociação para fins deste mercado.