Information about notation: ATL-THE-DIV