added notation to result