Mathematical language for group theory Practice 27 | Zoonk