The course of post‐ganglionic sympathetic fibres distributed with the trigeminal nerve in the cat.