The Fortress Language Specification - CiteSeerX

≠
LE becomes ≤ GE becomes ≥ NE becomes
BY becomes × TIMES becomes ×
∏
CROSS becomes ×
∑
DOT becomes · PRODUCT becomes
SUM becomes
CUP becomes ∪ CAP becomes ∩ SUBSET becomes ⊂
EMPTYSET becomes ∅ AND becomes ∧ OR becomes ∨
Note that some characters have more than one short name. Also, some non-operator characters also have short names,
particularly, the Greek letters and the special letters:
ALPHA becomes A alpha becomes α
BETA becomes B beta becomes β
GAMMA becomes Γ gamma becomes γ
DELTA becomes ∆ delta becomes δ
EPSILON becomes E epsilon becomes ǫ
ZETA becomes Z zeta becomes ζ
ETA becomes H eta becomes η
THETA becomes Θ theta becomes θ
IOTA becomes I iota becomes ι
KAPPA becomes K kappa becomes κ
LAMBDA becomes Λ lambda becomes λ
MU becomes M mu becomes µ
NU becomes N nu becomes ν
XI becomes Ξ xi becomes ξ
OMICRON becomes O omicron becomes o
PI becomes Π pi becomes π
RHO becomes P rho becomes ρ
SIGMA becomes Σ sigma becomes σ
TAU becomes T tau becomes τ
UPSILON becomes Υ upsilon becomes υ
PHI becomes Φ phi becomes φ
CHI becomes X chi becomes χ
PSI becomes Ψ psi becomes ψ
OMEGA becomes Ω omega becomes ω
BOTTOM becomes ⊥ TOP becomes ⊤
INF becomes ∞
A careful reader will note that Appendix F also gives the following short names for printable ASCII characters:
LT becomes < GT becomes > EQ becomes =
These names provide a certain level of compatibility with Fortran. However, they are only replaced by the corresponding
character only when they are delimited by whitespace characters (note, not ampersands) or the beginning or end
of the program. Thus, they cannot participate in further conversion.
The second source is the official Unicode 5.0 names, as specified by the Unicode Standard. However, recall that
restricted words consist of letters, digits and underscores only, while Unicode names may include hyphens and spaces.
Thus, we replace a restricted word if it is the Unicode 5.0 name of a character with hyphens and spaces replaced
by underscores. For any Unicode character other than the control characters, there is a unique official Unicode 5.0
name not shared by any other Unicode character. Since control characters are protected characters, they do not present
a problem in this regard. The third source is alternative names for characters specified by the Unicode Standard,
again we use the names with underscores in place of hyphens and spaces. With this source, however, some names
designate more than one character. In this case, we replace the restricted word with the character with a smallest code
point, unless that character is a protected character (in which case we replace the restricted word with the appropriate
unprotected character with the smallest code point, if any). Fourth, we consider the official Unicode 5.0 names and
348