Implement Notation Verifier

[binbin-li]

Is your feature request related to a problem?

n/a

What solution do you propose?

n/a

What alternatives have you considered?

n/a

Any additional context?

No response