pla: enhanced symbols added