a mountain of Andalusia in Spain; at the foot of which, towards the sea, stands the town of Gibraltar. It is half a league in height towards the land, and so steep that there is no approaching it on that side.