And excellent point from @xpqz; last thing worth noting is that (-@2) will be either dyadic or monadic depending on the function call, whereas (¯1∘×@2) is a derived monadic function
@KamilaSzewczyk Yes, why not? In the first case, A and final S are correctly positioned. In the second case, the first S is not needed, E is in the wrong spot, and the final S is all-correct.