Information about notation: EXP-ATL