deep petrosal nerve, a nerve formed in the internal carotid plexus that leaves the plexus in the middle cranial fossa and joins the greater petrosal branch of the facial nerve. It carries postganglionic sympathetic fibers destined mainly for blood vessels.