我正在使用以下代码来生成定义表。
\begin{tabular}{rl}
$R$ is... & ...if and only if... \\
\hline
irreflexive & for all $x$ iht $xx \notin R$. \\
\hline
transitive & for all $xyo$ iht if $xo \in R$ and $oy \in R$, then $xy \in R$. \\
\hline
antisymmetric & for all $xy$ iht if $xy \in R$ and $yx \in R$, then $x=y$. \\
\hline
a partial order & $R$ is transitive and antisymmetric. \\
\hline
\end{tabular}`
说实话，最终输出效果相当一般。有什么改进方法吗？
编辑：这是一份完整的文件，其中包含第二次尝试。在我看来，两者都不太令人满意。
\documentclass{article}
\usepackage{graphicx}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{eulervm}
\usepackage{stmaryrd}
\usepackage{tabularx}
\setlength{\extrarowheight}{2pt}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{defi}{Definition}
\begin{document}
\begin{defi} Fix arbitrary $R$. Then ($R$ is a \textit{relation}) if and only if ($R$ is a set, and every element of $R$ is an ordered pair). Supposing $R$ is indeed a relation, then the following hold.
\begin{center}
\begin{tabular}{|rl|}
\hline
$R$ is... & ...if and only if... \\
\hline
irreflexive & for all $x$ iht $xx \notin R$. \\
\hline
transitive & for all $xyo$ iht if $xo \in R$ and $oy \in R$, then $xy \in R$. \\
\hline
antisymmetric & for all $xy$ iht if $xy \in R$ and $yx \in R$, then $x=y$. \\
\hline
a partial order & $R$ is transitive and antisymmetric. \\
\hline
\end{tabular}\end{center}\end{defi}
\end{document}
答案1
正如评论中提到的，这似乎比较主观，但这是我的看法。
我想说的是使用更少的行，如果是的话，使用不同的行，例如使用booktabs带有\toprule、\midrule和 的包\bottomrule。您还可以引入定义符号；由于符号有点不规则，请使用您熟悉的任何符号。在下文中，我将使用:\Leftrightarrow。
代码
\documentclass{article}
\usepackage{booktabs}
\begin{document}
\begin{tabular}{l c p{.5\textwidth}}
\toprule
$R$ is... & & ...if and only if... \\
\midrule
irreflexive &$:\Leftrightarrow$& for all $x$ iht $xx \notin R$. \\
transitive &$:\Leftrightarrow$& for all $xyo$ iht if $xo \in R$ and $oy \in R$, then $xy \in R$. \\
antisymmetric &$:\Leftrightarrow$& for all $xy$ iht if $xy \in R$ and $yx \in R$, then $x=y$. \\
a partial order &$:\Leftrightarrow$& $R$ is transitive and antisymmetric. \\
\bottomrule
\end{tabular}
\end{document}
结果
