AB31.2.2
AB31.2.2 B Higman: Simplified Notation, pages 11-12
Page 11
Page 12