the ticker is $MIAMI ($MIAMI) - Pump