Welcome to Y’all Street: Trading is now officially underway at The Texas Stock Exchange