Information about notation: ATL-ATL