表达式输入和输出选项
选项 | 典型默认值 | |
| AutoIndent | Automatic | 回车符输入后是否缩进 |
| DelimiterFlashTime | 0.3 | 匹配的定界符输入后闪烁的秒数 |
| ShowAutoStyles | True | 是否显示句法结构等的自动风格变化 |
| ShowCursorTracker | True | 光标位置跳跃时是否用椭圆点去指出其踪迹 |
| ShowSpecialCharacters | True | 当输入 |
| ShowStringCharacters | True | 输入字符串时是否显示 |
| SingleLetterItalics | False | 单字母符号是否为斜体 |
| ZeroWidthTimes | False | 是否用零宽度字符表示乘法 |
| InputAliases | {} | 允许 |
| InputAutoReplacements | {"->"->"→",...} | 输入时自动替换的字符串 |
| AutoItalicWords | {"Mathematica",...} | 自动排位斜体的词 |
| LanguageCategory | "NaturalLanguage" | 一个单元拼写校队和连字符用的语言范畴 |
当一个单元使用 TraditionalForm 时一般就设置 SingleLetterItalics 选项.
| In[1]:= |
| In[2]:= |
Mathematica 中常用特殊字符有许多别名. InputAliases 可以给更多的特殊字符或其它类型的 Mathematica 输入定义别名. 形如 "name"->expr 的规则决定
应该在输入时立即被 expr 替换.
别名用明确的 Esc 字符定界. 选项 InputAutoReplacements 指定一些类型的输入序列即使设有明显的定界符也应该被立即替代. 例如,在默认设置下,
立即被
替换. 可以用形如
的规则去指定输入中出现的 seq 立即用 rhs 替换.
| "NaturalLanguage" | 英语等语言 |
| "Mathematica" | Mathematica 输入 |
| "Formula" | 数学公式 |
| None | 不用拼写校对或连字符连接 |
控制拼写校对和连字符的 LanguageCategory 设置.
LanguageCategory 选项告诉 Mathematica 单元内容的类型. 这决定怎样进行拼写和结构检查,以及怎样使用连字符.
选项 | 典型默认值 | |
| StructuredSelection | False | 是否仅选完整的子表达式 |
| DragAndDrop | False | 是否允许拖放编辑 |
Mathematica 一般允许选择屏幕上出现的表达式的任何部分,但有时让 Mathematica 允许选择完整的子表达式是方便的,这可以用选项 StructuredSelection->True 来实现.
| In[3]:= |
| In[4]:= |
与这里的绝大多数其它选项不同,DragAndDrop 选项只设置用于整个前端,而不是单个单元或单元风格.
| GridBox[data,opts] | 给出用于某个网格盒的选项 |
| StyleBox[boxes,opts] | 给出用于 boxes 中所有盒子的选项 |
| Cell[contents,opts] | 给出用于 contents 中所有盒子的选项 |
| Cell[contents,GridBoxOptions->opts] | 给出 contents 中所有 GridBox 对象的默认设置 |
与 "文本输入和输出" 中讨论的相同,Mathematica 提供了如何显示表达式的许多选项. 用StyleBox[boxes, opts] 能将选项用到盒子的集合中. 在 Mathematica 中,能用于 StyleBox 的选项可以用于一个完整的单元 Cell 对象,甚至可用于一个完整的 Notebook. 例如,Background 和 LineIndent 等选项既可以用于StyleBox 对象,也可以用于完整的单元.
GridBox 等选项仅用于某些特殊类型的盒子. 这些选项在需要时最好在每个 GridBox 中分别给出. 但有时要指定默认设置,使得某一个单元中出现的所有 GridBox 对象能继承. 这可以通过把这些默认设置定义为整个单元选项
的值来实现.
对名为
型的盒子,Mathematica 有一个单元选项
,它可以用来给出这类盒子选项的默认设置. 通过定义
风格,采取选项的盒子类型也可以在一个样式表中具有它们的选项集合. Mathematica 具有的样式表定义了许多这样的风格.




