generalisation symboles