2. Generated symbols