Information about notation: ATL-WELT