Information about notation: ATL