Will SpaceX's public ticker be $MARS? | SimpleFunctions