Add trademark symbols:

• Add trademark tags for all trademarks now that the stylesheet handles it right.
• Always use correct case for trademarks.
• Don't join trademarks with other words, e.g. using hyphens.