Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Notation "x <+++> y" := (x + y * x + y * x * x) (at level 70).
- Definition p := 2 + 3 * 2 + 3 * 2 * 2.
- Print p.
- (*
- > p = 2 <+++> 3
- : nat
- *)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement