Information about notation: ATL-OST