see [[trigeminal nerve]]