Macros for the elements of \bool