The Fortress Language Specification - CiteSeerX

• If a portion is sub and another portion follows, then that other portion is rendered as a subscript in roman type,
and enclosed in parentheses if it is all digits, and preceded by a subscript-separating comma if this portion was
immediately preceded by another portion that was rendered as a subscript.
• If a portion consists entirely of capital letters and would, if considered by itself as an identifier, be the name
of a non-letter Unicode character that would be subject to replacement by preprocessing, then that Unicode
character is rendered as a subscript. For example, id_OPLUS is rendered as id ⊕ , ZZ_GT is rendered as Z > ,
and QQ_star_LE is rendered as Q ∗ ≤ .
• If the portion is the last portion, and the principal portion was a single letter (or two letters indicating a doublestruck
letter), and none of the preceding rules in this list applies, it is rendered as a subscript in roman type. For
example, T_min is rendered as T min . Note that T_MAX is rendered simply as T MAX —because all its letters
are capital letters, it is considered to be an operator—but T_sub_MAX is rendered as T MAX .
• Otherwise, this portion and all succeeding portions are rendered in italics, along with any underscores that
appear adjacent to any of them.
Examples:
M is rendered as M M is rendered as M
v vec is rendered as ⃗v v vec is rendered as ⃗v
v1 is rendered as v 1 v x is rendered as v x
v1 is rendered as v 1 v x is rendered as v x
a dot is rendered as ȧ a dot dot is rendered as ä
...
....
a dot dot dot is rendered as a a dot dot dot dot is rendered as a
....
a dot dot dot dot dot is rendered as a˙
p13’ is rendered as p ′ 13
p’ is rendered as p ′ p prime is rendered as p ′
T min is rendered as T min T max is rendered as T max
foo bar is rendered as foo foo baz is rendered as foo baz
In this way, through the use of underscore characters and annotation portions delimited by underscores, the programmer
can exercise considerable typographical control over the rendering of variable names; but if no underscores are
used, the rendering rules are quite simple.
345