Someone who understands trademark law knows that it doesn't even matter whether it is a registered trademark... because it is well known enough to clearly be an unregistered trademark by default.