[Ctsc2004]公式编辑器

元素

元素可以是运算符、括号、数字、字母、矩阵、分式。

数字、字母和括号

数字包括’0’..’9’、’.’。字母包括’A’..’Z’，’a’..’z’。括号包括’（’，’）’。它们都只占一行，该行也是对齐行。

表达式

由0个到至多500个元素构成的序列。其中矩阵与分式元素总个数最多不超过30个。

编辑框

一个输入表达式的矩形区域。每一个编辑框都包括一个对齐行用作编辑框相互之间的对齐。且我们定义编辑框的宽度为最长一行的字符个数，例如表达式空的时候为0，高度为最高行与最低行之间相差的行数（包括），但最小为1，即使表达式为空。

对齐行

编辑框或元素中某一特定行。该行用于框内对齐表达式及框间对齐，对齐时需要使表达式中的元素的对齐行位于编辑框的对齐行上。

运算符

有’+’、’-’、’*’、’/’四个，为了区分“-”（减号）与分数线，“-”两边分别加上一个空列。

矩阵

一个 （ ,_ ）的矩阵包含 个编辑框将矩阵分为了m个编辑列和n个编辑行。在矩阵的同一编辑行中，相邻的两个编辑框按编辑框的对齐行对齐，同一编辑列的编辑框按照它们的宽度居中对齐。且必须保证行与行之间至少存在一个空行，列与列之间至少存在一个空列。第一列左边与最后一列右边每行各有一个“[”和“]”，位于各行表达式的对齐行上，如图所示：

若矩阵的编辑行数n为奇数，则矩阵的对齐行为中间那行编辑行中编辑框的对齐行，否则为中间两个编辑行之间的空行；

分式

分式由分子和分母两个编辑框以及它们之间的分数线组成。分式分数线为一条由“-”组成的字符序列，同时它也是分式的对齐行。分式的宽度为两个编辑框宽度的最大值加2，即在左右两边分别加上一个“-”；而高度为两个编辑框的高度加上分数线的高度1。两个编辑框按居中对齐，如图：

在居中对齐时，如果不能正好对准，则往左偏半格，如上图左边的分母编辑框。