E= {a,b)|a:b ∈ A ∧(a→b)}
我想把这个集合写在我的表中。请帮帮我
答案1
这里有两个建议的解决方案。第一个是“纯 (La)TeX”。它分别使用宏\in
、\land
(“逻辑与”)和\to
(\rightarrow
也可以)代替∈
、∧
和→
。此外,它使用\mid
代替|
,因为符号在这里用作关系运算符。在精细数学排版中,通常用“粗空格”包围关系运算符。宏\mid
负责这项排版工作。最后,我分别用{
和}
替换\{
和\}
,以生成花括号。
第二种解决方案需要 XeTeX 和/或 LuaLaTeX。它的优点是它允许您直接使用字符∈
、∧
和。请注意,我替换了-- Unicode 字符“DIVIDES” -- 以获得与 相同的间距。(另一种方法是编写,其中指令以“thickspace”的数量插入空格。)当然,像我在第一个解决方案中所做的那样,编写 至少与编写 一样简单。→
|
\char"2223
\mid
\;|\;
\;
\mid
\char"2223
在这两种解决方案中,$
符号用于启动和终止内联数学模式。
\documentclass{article}
\usepackage{unicode-math} % requires LuaLaTeX or XeLaTeX
\begin{document}
$E= \{ (a,b) \mid a:b \in A \land (a \to b) \}$
$E= \{ (a,b) \char"2223 a:b ∈ A ∧(a→b) \}$
\end{document}