小编Hov*_*uch的帖子

x ([: u v) y扩展到u (x v y)，但也是如此x u@:v y。@:严格取代[:特殊代码。有什么理由使用[:over@:吗？