Quadrigeminal definitions