Respin of some additions: div, set and boolean notation

Hello,

Here is the respin with only div, set and boolean notation changes.
Thanks!