They're tiny ® (registered trademark) symbols.
In the standard Intel style (whitepapers, etc), trademarks to other companies are designated with an asterisk and a footnote to the effect of "These are trademarks from companies other than Intel. They own the rights to the name, and not us"