Until recently we preferred to ignore spaces around `**` to better group terms for reading order of operations. I think this may have changed, though; @stefanv what is the current preference?