Mathematical language for group theory Practice 33 | Zoonk