There is also mini and micro HDMI. https://www.howtogeek.com/745530/hdmi-vs-mini-hdmi-vs-micro-hdmi-whats-the-difference/ https://www.howtogeek.com/745530/hdmi

There is also mini and micro HDMI. https://www.howtogeek.com/745530/hdmi-vs-mini-hdmi-vs-micro-hdmi-whats-the-difference/ https://www.howtogeek.com/745530/hdmi-vs-mini-hdmi-vs-micro-...