Some notation questions