Information about notation: ATL-THE-OZE