“Exchange operator known as MIAX.”

“Exchange operator based in Miami that recently went public.”