Mathematical language for group theory Practice 30 | Zoonk