dei'i _JOI experimental cmavo

non-logical connective: set difference of x₁ and x₂: x_1dei'ix=x_1\setminusx=\x\inx_1:x\notinx

JOI and mandatorily binary version of "kei'i".

• CLL 14.14
• jbovlaste