Mathematical language for group theory Practice 42 | Zoonk