Information about notation: ATL-AM-N