The absence of tanwīn on al-rajuli proves that it is a diptote.

Definiteness and Proper-Name Status in Diptote Rules