Notal definitions