De Branges function