Cycle notation in symmetric groups - History — AI Alignment Forum