added notation section