Boyd’s Bible Dictionary:
(rock). A rock-founded city of Edom, the Petra of the Greeks, half way between the Dead Sea and Gulf of Akaba. Subdued by King Amaziah and called Joktheel, “subdued of God.” Remarkable now for its ruins, among which are a rock-hewn temple and amphitheater (2 Kings 14:7; Isa. 16:1). The complete destruction and desolation of the place fulfills the prophecy of Jeremiah (Jer. 49.16-17).
Concise Bible Dictionary:
The rock city of Edom (2 Kings 14:7; Isa. 16:1). The same Hebrew word is that usually translated “rock.” The place was taken by Amaziah, who called it JOKTHEEL. It is judged to be the same as PETRA (which occurs in the margin of Isaiah 16:1). Petra is a remarkable place. Though about two thousand feet above the sea, it is shut in by mountain-cliffs, and is entered by a narrow ravine, through which also the river winds. The tombs cut in the rocks are large, especially one called el Khuzneh, which has three rows of columns. The tiers of a theater remain, a triumphal arch, and ruined bridges. There is a sort of awe-inspiring grandeur in the place. The Bedouins are very troublesome, and jealous of visitors entering, supposing they come to search for treasure. Some have with difficulty escaped with their lives after being well fleeced. Petra lies 30° 22' N, 35° 43' E.
Jackson’s Dictionary of Scripture Proper Names:
a rock: crag (2 Kings 14:7) : make prominent