Mathematical language for group theory Practice 15 | Zoonk