Information about notation: ATL-THE-MET