used notation