see [[Petroclinoid ligament]].