Mathematical language for group theory | Zoonk