命题逻辑和谓词逻辑中的tex符号
合取：wedge
析取：vee
否定： eg
蕴含(条件)： ightarrow
双条件：leftrightarrow
推出：Rightarrow
等价：Leftrightarrow
任意：forall
存在：exists
Latex 字母上面加符号 波浪线 横线 角号等
加^号 输入hat 或 widehat
加横线 输入 overline
加波浪线 输入 widetilde
加一个点 dot{要加点的字母}加两个点ddot{要加点的字母}
latex空格怎么打_latex空格
\, 注意代表的是空间键
如果需要多个空格,hspace{ 长度 } , 例如 hspace{1cm}
在数学环境中生成空格, 则可以使用下面的命令:
两个quad空格 a qquad b 两个m的宽度
quad空格 a quad b 一个m的宽度
大空格 a b 1/3m宽度
中等空格 a;b 2/7m宽度
小空格 a\,b 1/6m宽度
紧贴 a!b 缩进1/6m宽度
下方输入：
minlimits_{1<x<2}
根号怎么输入：
sqrt{2}
分段函数的大括号：
egin{equation}
f(x)=left{
egin{aligned}
x & = & cos(t) \
y & = & sin(t) \
z & = & frac xy
end{aligned}
ight.
end{equation}
插入图片
