That's a DisplayPort socket. Display port to HDMI adaptors are available, almost always DisplayPort is set up as displayport dual-mode, meaning a simple, cheap cable adaptor—e.g. this randomly selected two dollar jobbie from ebay —will suffice for connecting it to HDMI equipment.

Only top voted, non community-wiki answers of a minimum length are eligible