Ismailhakki ismi Kur'an-ı Kerim'de geçiyor mu?

Kur'an’da doğrudan 'Ismailhakki' birleşik biçimi yoktur, fakat İsmail ismi ve Hakki sıfatı ayrı ayrı geçer; bu iki unsurun birleştirilmesi kültürel bir uygulamadır.