Cyber △：◐ ≓ ⊗ Forker

使用语言+集合论的方式进行含义表达。