⊢

右推导符

Symbol · Math symbols · U+22A2

相关

∀全称量词 ∁补集 ∂偏微分 ∃存在量词 ∄不存在 ∅空集 ∆增量 ∇向量微分 ∈是...的元素 ∉不属于 ∊小元素 ∋包含为成员 ∌不包含元素 ∍小包含元素 ∎证明完毕 ∏N元乘积 ∐n元余积 ∑N元求和

已复制