number of symbols adapted to suggestions of Gert-Martin