Mathematical language for group theory Practice 3 | Zoonk