added simple notation