Some like the “Double crux” style, but Said disliked it back in 2018 [1] [2] and presumably feels the same way now.
Indeed, my opinion of “double crux” has not improved since the linked comments were written.
Indeed, my opinion of “double crux” has not improved since the linked comments were written.