see Petroclinoid ligament.