Write a tuto on notations and advances uses of it, supposing the reader already know the basics of Ltac2
Write a tuto on notations and advances uses of it, supposing the reader already know the basics of Ltac2