Mathematical language for group theory Practice 9 | Zoonk