@semanticyong
2017-02-01T01:18:43.000000Z
字数 309
阅读 555
: 包含于
: 包含
AB(BA): A包含于B (B包含A)
: 表示存在,读作“存在” (there exist(s))
!: 读作“存在唯一” (there exist(s) unique)
: 对于所有的,对于任意的 (for all, for any)
: 表示能够推得,读作“蕴含” (imply)
: 表示自然数集
: 表示实数集
or
or