(Replying to PARENT post)
You need to actively defend a trademark to keep it protected. Formally registering it is neither sufficient nor necessary.
Also as someone pointed out on Twitter it's probably not even in the right category to protect against the use in educational material. Also even if it were it's probably nominative fair use anyways.
๐คpoizan42๐2y๐ผ0๐จ๏ธ0
(Replying to PARENT post)
EDIT: Apparently it's a legit trademark (I searched for it and it's active). Here's a recent post about it from Ryan Dahl: https://tinyclouds.org/trademark