added notation assignment