User-agent: *
Disallow: /mathstoolbox/
Disallow: /beebot/