Does Teensy have an official logo?

I wanted to differentiate Teensyduino from the other IDEs. I searched at the https://www.pjrc.com main website but didn't find one.

Here is the one I've...