Re: Adding dot-notation in an ISO conforming manner

> What you want is another way of writing.  Why not! Make a new write
> option. You could write out {} and even , to a limited degree: the
> arguments must not be atoms.
> ____________

Just a thought: In general is there any downside to choosing to make new predicates rather than alter standard predicates?  For this case, keep write_canonical. In general I expect there is no downside and the upside is no worries about compatibility while plenty of freedom to disregard historical but inferior choices.