Note that this is changing fast as laptops get rid of all ports in favor of USB-C which can carry DisplayPort. In practice many laptops sold today do not support HDMI but support DisplayPort albeit through a different connector.