∀

∀ ... 🔲 ......

其实 🔲 处不用填介系词

( ∀ ... ) ......

括号內让∀优先结合得到collection'#(1~collection'#)再后接 ......

所以就用括号就行了

不用再伤脑筋这个介糸词要用何operator才不会与其它别的用途相冲突