阿尔法
印刷
阿尔法通过提供要生成的命令乳胶阿尔法文件中的代码。打印文档有两种方法:
- 通过交互式Alfa会话:可以打印文档通过在Alfa中打开它,然后选择命令打印到文件。。。从这个文件菜单.Alfa然后建议使用以结尾的文件名
.tex码
其中将输入LaTeX代码。 - 您也可以直接从命令行打印,而无需启动交互式Alfa会话,通过启动Alfa命令行选项
-打印
.例如,命令
alfa evenodd.alfa-打印
将为Alfa文档保存LaTeX代码evenodd.alfa公司
在文件中evenodd.alfa.tex公司
.
Alfa生产的LaTeX代码设计为自成一体的,但确实如此不是完整的LaTeX文件,但是而是可以作为文章的一部分(例如),通过在文章中使用LaTeX命令包含它\输入
.
例子
假设我们想从键盘教程,在当前版本的Alfa在屏幕上看起来像这样:
然后我们将使用打印到文件。。。中的命令文件菜单以获取名为(例如)的LaTeX文件evenodd.alfa.tex公司
.
作为下一步,我们创建一个主要的LaTeX文件,其中包括evenodd.alfa.tex公司
:
假设我们将其存储在名为tst.tex公司
,我们可以使用命令获取DVI文件
乳胶tst
和PostScript文件dvips tst.dvi-o tst.ps
看看结果:
用户对打印方式的影响
生成的LaTeX代码与您在屏幕。这意味着用户定义的布局选项(参数隐藏、中缀运算符优先级、量词符号等)考虑在内。此外看法菜单、和布局为单个定义和表达式设置的选项会影响印刷的。这在与插件结合时特别有用提供表达式和定义的备用视图的模块。例如,GF插件让你产生自然证据的语言翻译。
评论
假设Alfa文件中的任何注释包含正确的LaTeX代码,因此会按原样复制到LaTeX文件中。这允许您创建,例如,通过在注释中包含章节标题。LaTeX宏
Alfa使用少量带有默认定义的LaTeX宏您可以通过提供自己的定义来覆盖:
阿尔法import
- 此宏定义如何打印导入定义。这个defalt是将它们打印为进口 文件名.
alfadeclcomment公司
- 此宏定义定义之间的注释印刷的。默认设置是按原样打印。
alfaexpcomment公司
- 此宏定义表达式中的注释的方式印刷的。默认设置是按原样打印。
例如,要在定义之间以斜体打印注释,您可以可以在主乳胶文件中包含以下定义(Alfa生成的LaTeX文件可以保持不变):
\新命令{\alfadeclcomment}[1]{\it#1}
限制
Alfa最近(2000年9月)添加了LaTeX打印有一些局限性。
- Alfa在生成的LaTeX代码中广泛使用数学模式。不幸的是,LaTeX在如何以数学模式将内容布局到页面上,太大了定义很容易变得太宽或太高。这几乎打印自然演绎样式时不可避免地会导致问题证据。
- 尽管布局编辑器允许您使用任意字符仅从标识符中的Latin1和符号字符集其中的一小部分可以转换为LaTeX。
希望在Alfa的未来版本中可以对此进行改进。