The market strongly favors that SpaceX's public ticker will not be $MARS.
Current market probabilities indicate a 97.4% likelihood that SpaceX's public ticker will not be $MARS, with a lower AI probability of 5.6% for a YES outcome. The market appears fairly priced, suggesting that participants have a balanced view on the potential for this event.
This market will resolve according to the public ticker symbol used by SpaceX in an IPO (Initial Public Offering) by December 31, 2027, 11:59 PM ET.
An official announcement from SpaceX that they will IPO under a specific ticker symbol will be sufficient to resolve this market.
If a ticker used by SpaceX in a qualifying IPO is a variant of a ticker symbol listed in this market group with additional letters to denote a specific class of shares, it will be considered to be that ticker (e.g. if SpaceX uses a ticker symbol of $MARS.A or $MARSA, this market will resolve to $MARS).
If SpaceX announces an IPO with multiple tickers that are not considered the same ticker under the previous rule (i.e. $MARS.A and $MARS.B would be considered the same ticker), this market will remain open until SpaceX’s first day of public trading and will resolve according to the ticker symbolizing the security class with the greatest market capitalization. Market capitalization is calculated as the number of shares outstanding multiplied by the closing share price on the first trading day. If this also results in a tie, this market will resolve according to the ticker symbol that comes first in alphabe