DisplayPort and HDMI aren't just different names for the ... DP comes in standard, mini, and even micro sizes, while HDMI has standard, mini, and micro versions too. But DP tends to support ...