How to make `[0] == 0`?

you could try this form [itr...]', as was pointed out to me in a recent post where I had hastily confused the two expressions

2 .- [1; 1]' * [1; 1] == 0

in the place of


2 .- [1 1] * [1; 1] == 0
1 Like