Lenovo ThinkPad X1 Carbon Setup Manual page 9

The terms HDMI and HDMI High-Definition Multimedia Interface are
trademarks or registered trademarks of HDMI Licensing LLC in the
United States and other countries.
Other company, product, or service names may be trademarks or
service marks of others.