double vert notation