Mathematical language for group theory Practice 18 | Zoonk