The Fortress Language Specification - CiteSeerX

U+007C VERTICAL LINE | |
U+2016 DOUBLE VERTICAL LINE ‖ ||
U+2AF4 TRIPLE VERTICAL BAR BINARY RELATION |||
F.3 Arithmetic Operators
F.3.1
Multiplication and Division
The following are multiplication operators. Note that ASTERISK OPERATOR is always a multiplication operator;
ASTERISK is treated as a synonym for ASTERISK OPERATOR where appropriate, but ASTERISK also has other uses,
for example in the ASCII bracket encodings [*/ and /*] and {*/ and /*}.
U+002A ASTERISK * *
U+00B7 MIDDLE DOT · DOT
U+00D7 MULTIPLICATION SIGN × TIMES BY
U+2217 ASTERISK OPERATOR ∗
U+228D MULTISET MULTIPLICATION
U+2297 CIRCLED TIMES ⊗ OTIMES
U+2299 CIRCLED DOT OPERATOR ⊙ ODOT
U+229B CIRCLED ASTERISK OPERATOR ⊛ CIRCLEDAST
U+22A0 SQUARED TIMES ⊠ BOXTIMES
U+22A1 SQUARED DOT OPERATOR ⊡ BOXDOT
U+22C5 DOT OPERATOR ·
U+29C6 SQUARED ASTERISK
BOXAST
U+29D4 TIMES WITH LEFT HALF BLACK
U+29D5 TIMES WITH RIGHT HALF BLACK
U+2A2F VECTOR OR CROSS PRODUCT × CROSS
U+2A30 MULTIPLICATION SIGN WITH DOT ABOVE
DOTTIMES
U+2A31 MULTIPLICATION SIGN WITH UNDERBAR
U+2A34 MULTIPLICATION SIGN IN LEFT HALF CIRCLE
U+2A35 MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
U+2A36 CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
U+2A37 MULTIPLICATION SIGN IN DOUBLE CIRCLE
U+2A3B MULTIPLICATION SIGN IN TRIANGLE
TRITIMES
The following are division operators. Note that DIVISION SLASH is always a division operator; SOLIDUS is treated
as a synonym for DIVISION SLASH where appropriate, but SOLIDUS also has other uses, for example in the ASCII
bracket encodings (/ and /) and [/ and /] and {/ and /}.
U+002F SOLIDUS / /
U+00F7 DIVISION SIGN ÷ DIV
U+2215 DIVISION SLASH /
U+2298 CIRCLED DIVISION SLASH ⊘ OSLASH
U+29B8 CIRCLED REVERSE SOLIDUS
U+29BC CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN
U+29C4 SQUARED RISING DIAGONAL SLASH
BOXSLASH
U+29F5 REVERSE SOLIDUS OPERATOR \/
U+29F8 BIG SOLIDUS
∖
U+29F9 BIG REVERSE SOLIDUS
U+2A38 CIRCLED DIVISION SIGN
ODIV
353