Category: "another notation"