notation symbols