Very interesting, thanks for sharing. I didn't know I wanted to understand how ticker names are implemented until now!