Math-Symbols
本文摘自 https://oi-wiki.org/intro/symbol/
本文规定了 OI Wiki 中数学符号的推荐写法，并给出了一些应用范例。
本文参考了 GB/T 3102.11-1993 和 ISO 80000-2:2019 修订，故基本与国内通行教材的符号体系兼容。
符号的 LaTeX 写法请参考 本文章的源代码
数理逻辑
| 编号 | 符号，表达式 | 意义，等同表述 | 备注与示例 |
|---|---|---|---|
| n1.1 | $p \land q$ | $p$ 和 $q$ 的合取 | $p$ 与 $q$. |
| n1.2 | $p \lor q$ | $p$ 和 $q$ 的析取 | $p$ 或 $q$;此处的 “或” 是包含的，即若 $p$，$q$ 中有一个为真陈述，则 $p \lor q$ 为真。 |
| n1.3 | $\lnot p$ | $p$ 的否定 | 非 $p$. |
| n1.4 | $p \implies q$ | $p$ 蕴含 $q$;若 $p$ 为真，则 $q$ 为真 | $q \impliedby p$ 和 $p \implies q$ 同义。 |
| n1.5 | $p \iff q$ | $p$ 等价于 $q$ | $(p \implies q) \land (q \implies p)$ 和 $p \iff q$ 同义。 |
| n1.6 | $(\forall~x \in A)~~p(x)$ | 对 $A$ 中所有的 $x$, 命题 $p(x)$ 均为真 | 如果从上下文中可以得知考虑的是哪个集合 $A$, 可以使用记号 $(\forall~x)~~p(x)$.$\forall$ 称为全称量词。 $x \in A$ 的含义见 n2.1. |
| n1.7 | $(\exists~x \in A)~~p(x)$ | 存在一个属于 $A$ 的 $x$ 使得 $p(x)$ 为真 | 如果从上下文中可以得知考虑的是哪个集合 $A$, 可以使用记号 $(\exists~x)~~p(x)$.$\exists$ 称为存在量词。 $x \in A$ 的含义见 n2.1. $(\exists!~x)~~p(x)$（唯一量词）用来表示恰有一个 $x$ 使得 $p(x)$ 为真。 $\exists!$ 也可以写作 $\exists^1$. |