∈ is stupid and needs to be fixed when using a subscript

[kckennylau]

https://chat.stackexchange.com/transcript/message/38392326#38392326

[JCumin]

@kckennylau It's actually not completely stupid. Your program works if you write it like this:

∈₎[[2,3,3,1],.]t

That is, with the subscript in the right argument.

The question now is whether or not this behavior is more desirable than having it work for ;.∈₎[2,3,3,1]∧.

My guess is no: this behavior is not in line with any other predicates, and it should always be shorter than the current behavior because the current one requires extra brackets.