集合论和其他符号

约 127 个字 1 行代码

\[\def\arraystretch{2}
   \begin{array}{c|c|c|c|c|c|c|c}
   \hline
   \hline
   \text{原型} & 符号 &  \text{原型} & 符号 & \text{原型} & 符号 & \text{原型} & 符号  \cr \hline
   \text{forall} & \forall   &   \text{exists}  &       \exists   &  \text{nexists} & \nexists  & \text{in} & \in  \cr \hline    
   \text{empty} & \empty   &   \text{varnothing}  &       \varnothing   &  \text{notin} & \notin  & \text{subset} & \subset  \cr \hline    
   \text{land} & \land   &   \text{lor}  &       \lor   &  \text{because} & \because  & \text{therefore} & \therefore  \cr \hline    
   \text{implies} & \implies   &   \text{impliedby}  &       \impliedby   &  \text{neg} & \neg  & \text{leftrightarrow} & \leftrightarrow  \cr \hline    
   \end{array}
\]

• 上下对齐的公式：

\[f(n)=\begin{dcases}  x_{11} &+ & x_{12} &+ & x_{13} & = &1, & i = 1,2...m \cr & &x_{12} & & &  =& 2 ,& j = 1,2,...n \end{dcases}\]

$$f(n)=\begin{dcases}  x_{11} &+ & x_{12} &+ & x_{13} & = &1, & i = 1,2...m \cr & &x_{12} & & &  =& 2 ,&  \end{dcases}$$