支持变元 p q r s（最多 4 个）与联结词：¬(或 ! ~)、∧(或 & ·)、
∨(或 | +)、→(或 ->)、↔(或 <->)、括号。
例：(p→q)∧(q→r)→(p→r)
点格子切换 0/1。行是前件、列是后件，例如第 1 行第 2 列为 1 表示 (a,b) ∈ R。
边用「起点-终点-权值」表示，逗号分隔。例：A-B-4, A-C-2, B-C-1, B-D-5, C-D-8, D-E-2
输入各叶子权值，逗号分隔。例：5, 7, 10, 15, 20, 25
填各部分数字，留空按 0 处理。|A| 表示只属于 A 的可以不填，这里填的是集合总基数。
输入偏序关系的覆盖对，用「小于号」分隔，逗号分隔多个。例：a<b, a<c, b<d, c<d
程序会自动求传递闭包、去掉冗余边，只保留覆盖关系，再按层次自动排版。
边用「起点-终点」表示，逗号分隔。例：A-B, A-C, B-D, B-E, C-F, D-G
关系对用箭头分隔，逗号分隔多个。例：a→b, b→c, c→a, a→a
支持写 -> 或 →；自环会画成结点上方的小圈；双向关系会画成两条弧线，不会重叠。
边用「起点-终点-权值」表示，逗号分隔。例：A-B-4, A-C-2, B-C-1, B-D-5, C-D-8, D-E-2
按权值从小到大逐条考察：不成圈就加入（蓝），成圈就丢弃（灰），最终得到最小生成树与总权值。
用分号分行、逗号分列。例：1,2,3; 4,5,6; 7,8,10
可直接求：转置、行列式、秩、逆矩阵（含高斯-若尔当消元过程）。
输入**增广矩阵**，分号分行、逗号分列。例（方程组 x+2y=3, 4x+5y=6）：1,2,3; 4,5,6
会逐步显示行变换，并判断唯一解 / 无穷多解 / 无解。
输入方阵（2×2 或 3×3），分号分行、逗号分列。例：2,1;1,2
会给出特征多项式、特征值、每个特征值的特征向量，以及能否对角化（对比代数重数与几何重数）。
输入**对称矩阵** A（二次型 $f=x^{T}Ax$ 的矩阵），分号分行、逗号分列。例：1,2;2,1
用正交变换 $x=Qy$ 化成标准形 $f=\lambda_1 y_1^2+\dots+\lambda_n y_n^2$，并判定正定性。