关于逻辑学专用符号的输入方法
关于逻辑学特殊符号的输入方法
在搜狗拼音输入法的短语输入配置文件Phrases.ini后面加入这些行并保存:
ry,1=∀
cz,1=∃
dd,1=⊢
zdd,1=⊨
br,1=□
hr,1=◇
hq,1=∧
xq,1=∨
yh,1=→
dz,1=↔
fd,1=~
sy,1=∴
yw,1=∵
即可通过输入前面的缩写字母获得后面的符号。在word软件中也可通过输入unicdoe编码来获得符号。比如输入2200,然后按Alt+x键组合即可将2200转换为∀。各符号对应unicode编码如下。
∀=2200
∃=2203
⊢=22A2
⊨=22A8
□=25A1
◇=25C7
∧=2227
∨=2228
→=2192
↔=2194
~=FF5E
∴=2234
∵=2235
关于逻辑学特殊符号的输入方法
在搜狗拼音输入法的短语输入配置文件Phrases.ini后面加入这些行并保存:
ry,1=∀
cz,1=∃
dd,1=⊢
zdd,1=⊨
br,1=□
hr,1=◇
hq,1=∧
xq,1=∨
yh,1=→
dz,1=↔
fd,1=~
sy,1=∴
yw,1=∵
即可通过输入前面的缩写字母获得后面的符号。在word软件中也可通过输入unicdoe编码来获得符号。比如输入2200,然后按Alt+x键组合即可将2200转换为∀。各符号对应unicode编码如下。
∀=2200
∃=2203
⊢=22A2
⊨=22A8
□=25A1
◇=25C7
∧=2227
∨=2228
→=2192
↔=2194
~=FF5E
∴=2234
∵=2235