Add notation