手册页部分 1: 用户命令

退出打印视图

更新时间: 2014 年 7 月
 
 

checkeq(1)

名称

eqn , neqn , checkeq - 编排数学测试

用法概要

eqn [-d xy] [
 -f n] [-p n
] [ -s n] [
file]...
neqn [file]...
checkeq [file]...

描述

eqnneqn 是用于帮助描述方程式的语言处理器。eqntroff(1) 的预处理程序,适用于可显示 troff 输出内容的设备。neqnnroff(1) 的预处理程序,适用于终端。用法几乎始终如下:

example% eqn file ... | troff
example% neqn file ... | nroff

如果未指定 file,则 eqnneqn 会从标准输入进行读取。以 .EQ 开头的行表示方程式开始。以 .EN 开头的行表示方程式结束。这些行都不会更改,从而可以在宏软件包中进行定义以实现居中、编号等功能。还可以将两个字符设置为“分隔符”;分隔符之间的后续文本也被视为 eqn 输入。

checkeq 可报告缺失或不对称的分隔符以及 .EQ/.EN 对。

选项

支持以下选项:

–dxy

使用命令行参数将方程式分隔符集设置为字符 xy。执行此操作的更常见方法是在 .EQ.EN 之间使用 delim xy。左、右分隔符可以相同。分隔符由文本中出现的 delim off 关闭。既不在分隔符之间,也不在 .EQ.EN 之间的所有文本传递后保持不变。

–fn

将文档中的字体全局更改为 n。还可使用 gfont n 指令(其中 n 为字体规范)全局更改文档正文的字体。

–pn

将下标和上标由以前的磅值减小 n 个磅值。缺少 –p 选项时,下标和上标会由以前的磅值减小 3 个磅值。

–sn

将文档中的磅值全局更改为 n。还可使用 gsize n 指令(其中 n 为磅值)全局更改文档正文的磅值。

操作数

支持下列操作数:

file

eqnneqn 处理的 nroff 或 troff 文件。

EQN LANGUAGE

EQN LANGUAGE

此说明的 nroff 版本描述了 neqn 向终端屏幕的输出,也正是 neqn 实际能够显示的内容。要查看对输出的准确描述,请查看本页的打印版本。

eqn 中的单词符号用括号、双引号、波浪号、抑扬符、空格、制表符或换行符等字符分隔。花括号 { } 用于进行分组。一般而言,在单个字符(如 x)可能出现的任何地方,可能会改为使用带花括号的复杂结构。波浪号 (~) 在输出中表示整个空格;而抑扬符 (^) 只表示半个。

下标和上标:

这些符号分别使用关键字 subsup 生成。

x sub i

生成 image:ASCII 版本为 x(i)

a sub i sup 2

生成 image:ASCII 版本为 a(i)^2

e sup {x sup 2 + y sup 2}

生成 image:ASCII 版本为 e^(x^2+y^2)

分数:

分数使用 over 生成。

a over b

生成 image:采用

平方根:

平方根使用 sqrt 生成

1 over sqrt {ax sup 2 +bx+c}

生成 image:采用

限制:

关键字 fromto 可对任意对象引入下限和上限:

lim from {n→ inf } sum from 0 to n x sub i

生成 image:采用

方括号和花括号:

适当高度的左右方括号、花括号以及类似符号使用 leftright 生成。

left [ x sup 2 + y sup 2 over alpha right ] ~=~1

生成 image:采用

right 子句是可选的。leftright 之后的合法字符有括号、方括号、竖线、cf(表示上取整和下取整)以及 ""(表示无任何内容)(适用于仅有右侧方括号的情况)。

垂直堆叠:

垂直堆叠使用 pilelpilecpilerpile 生成。

pile {a above b above c}

生成 image:显示

一个堆叠中可以有任意数量的元素。lpile 为左对齐,pilecpile 为居中对齐(垂直间距不同),rpile 为右对齐。

矩阵:

矩阵使用 matrix 生成。

matrix { lcol { x sub i above y sub 2 } ccol { 1 above 2 } }

生成image:左列包含

此外,rcol 表示右对齐的列。

变音符号:

变音符号使用 dotdotdothattildebar vecdyadunder 生成。

x dot = f(t) bar

显示为 image:采用

y dotdot bar ~=~ n under

显示为 image:采用

x vec ~=~ y dyad

显示为 image:采用

字号和字体:

字号和字体可使用 size nsize ± n、romanitalicbold font n 进行更改。文档中的字号和字体可通过 gsize ngfont n,或通过命令行参数 –sn– fn 进行全局更改。

连续显示参数:

连续显示参数可进行对齐。将 mark 放置在第一个方程式中所需的对齐点之前;将 lineup 放置在后续方程式中要垂直对齐的位置。

简写:

通过 define 可定义简写或重新定义现有关键字:

define thing % replacement %

定义称为 thing 的新单词符号,在此后每次显示时将其替换为 replacement% 可以是未出现在 replacement 中的任意字符。

关键字和简写:

可识别 sum int inf 等关键字和 >= 以及 != 等简写。

希腊字母:

希腊字母按所需的大小写进行拼写,如 alphaGAMMA

数学词语:

数学词语(如 sincoslog)会自动转换为罗马字符。

troff(1) 四字符转义符(如 \(bu (•))可用于任何位置。双引号 ". . ." 中的字符串会原样传递;这可允许将关键字作为文本输入,并且在所有其他方法都无效时与 troff 进行通信。

属性

有关下列属性的说明,请参见 attributes(5)

属性类型
属性值
可用性
text/doctools

另请参见

nroff(1)tbl(1)troff(1)attributes(5)ms(5)

已知问题

要将字符(如数字和括号)加粗,必须为其加上引号,如 `bold "12.3"' 所示。