Что это за порт? Это мини-дисплей?

Я думаю, что этот ноутбук - Lenovo T540P. Это порт Mini Displayport? Значок выше - это не значок мини-дисплея, который я обычно вижу.