Part 2: Symbols

Multiplication Symbol

Preference Name: MultsymbolX

Preference Value	Identifier	Example	Speech
Auto	X001	$6 \times 8$	6 times 8
Auto	X002	$m \times n$	M times n
Auto	X003	$3 \times 3$	3 times 3
By	X004	$6 \times 8$	6 by 8
By	X005	$m \times n$	M by n
By	X006	$3 \times 3$	3 by 3
Cross	X007	$u \times v$	u cross v

Multiplication Symbol

Preference Name: MultsymbolDot

Preference Value	Identifier	Example	Speech
Auto	Dot001	$6 \cdot 8$	6 times 8
Auto	Dot002	$m \cdot n$	M times n
Auto	Dot003	$3 \cdot 3$	3 times 3
Dot	Dot004	$6 \cdot 8$	6 dot 8
Dot	Dot005	$m \cdot n$	M dot n
Dot	Dot006	$3 \cdot 3$	3 dot 3

Triangle Symbol

Preference Name:TriangleSymbol

Preference Value	Identifier	Example	Speech
Auto	Triangle001	$Δ A B C$	triangle ABC
Auto	Triangle002	$Δ D E F$	triangle DEF
Delta	Triangle003	$Δ x$	delta x
Delta	Triangle004	$f (x + Δ x)$	F of, open paren, x plus delta x, close paren

Ellipses

Preference Name: Ellipses

Preference Value	Identifier	Example	Speech
Auto	Ellipses001	$1, 2, 3, \dots$	1 comma 2 comma 3 comma dot dot dot
Auto	Ellipses002	$1, 2, 3, \dots, 20$	1 comma 2 comma, 3,comma dot dot dot comma 20
Auto	Ellipses003	$\dots, - 2, - 1, 0, 1, 2, \dots$	Dot dot dot comma negative 2,comma negative 1 comma 0 comma 1 comma 2 comma dot dot dot
AndSoOn	Ellipses004	$1, 2, 3, \dots$	1 comma 2 comma 3 , and so on
AndSoOn	Ellipses005	$1, 2, 3, \dots, 20$	1 comma 2 comma 3 comma and so on up to 20
AndSoOn	Ellipses006	$\dots, - 2, - 1, 0, 1, 2, \dots$	Dot dot dot negative 2,comma negative 1 comma 0 comma 1 comma 2 comma dot dot dot

Vertical Line

Preference Name: VerticalLine

Preference Value	Identifier	Example	Speech
Auto	VertLine001	$3 \| 6$	3 divides 6
Auto	VertLine002	${x \| x > 0}$	The set of all x such that x is greater than 0
Auto	VertLine003	${x \| \| x \| > 2}$	The set of x such that the absolute value of x is greater than 2
Auto	VertLine004	$f (x) \|_{x = 5}$	f of x evaluated at x = 5
Auto	VertLine005	$x^{2} + 2 x \|_{x = 2}$	X squared plus 2x, evaluated at x = 2
Auto	VertLine006	$x^{2} + x \|_{0}^{1}$	x squared plus x evaluated at 1 minus the same expression evaluated at 0
SuchThat	VertLine007	${x \| x > 0}$	The set of all x such that x is greater than 0
Divides	VertLine008	$3 \| 6$	3 divides 6
Given	VertLine009	$P (A \| B)$	P of, open paren, A given B, close paren (To get this speech a space was inserted after P and exact speech “of” was entered there.)

Set Membership Symbols

Preference: SetMemberSymbol

Preference Value	Identifier	Example	Speech
Auto	MembSym001	$If x \in ℤ then 2 x is an even number.$	If x is a member of the integers then 2x is an even number.
Auto	MembSym002	${x \in ℤ \| x > 5}$	The set of all x in the integers such that x is greater than 5
Auto	MembSym003	$3 + 2 i \notin ℝ$	3 plus 2i is not a member of the real numbers
Member	MembSym004	$If x \in ℤ then 2 x is an even number.$	If x is a member of the integers then 2x is an even number.
Member	MembSym005	${x \in ℤ \| x > 5}$	The set of all x member of the integers such that x is greater than 5
Member	MembSym006	$3 + 2 i \notin ℝ$	3 plus 2i is not a member of the real numbers
Element	MembSym007	$If x \in ℤ then 2 x is an even number.$	If x is an element of the integers then 2x is an even number
Element	MembSym008	${x \in ℤ \| x > 5}$	The set of all x element of the integers such that x is greater than 5
Element	MembSym009	$3 + 2 i \notin ℝ$	3 plus 2i is not an element of the real numbers
Belongs	MembSym010	$x \in ℤ$	If x belongs to the integers then 2x is an even number
Belongs	MembSym011	${x \in ℤ \| x > 5}$	The set of all x belonging to the integers such that x is greater than 5
Belongs	MembSym012	$3 + 2 i \notin ℝ$	3 plus 2i does not belong to the real numbers
Belongs	MembSym013	$If x \in ℤ then 2 x is an even number.$	If x belongs to the integers then 2x is an even number
Belongs	MembSym014	${x \in ℤ \| x > 5}$	The set of all x belonging to the integers such that x is greater than 5
Belongs	MembSym015	$3 + 2 i \notin ℝ$	3 plus 2i does not belong to the real numbers

Two preferences set: One for Sets and one for SetMemberSymbol

Preference Value	Identifier	Example	Speech
Sets "woall" and SetMemberSymbol "belongs"	SetMemb001	${x \in ℤ : 2 < x < 7}$	The set of x belonging to the integers such that 2 is less than x is less than 7.
Sets "woall" and SetMemberSymbol "member"	SetMemb002	${x \in ℤ \| x > 5}$	The set of x member of the integers such that x is greater than 5

Sums, Products, Unions, Intersections, and Integrals

There is no speech preference for these symbols. Therefore there is no preference file for the rule. (i.e., there is no .eqp file for named sets.)

Identifier	Example	Speech
Sum001	$\sum_{n = 1}^{10} n$	The sum from n = 1 to 10 of n
Sum002	$\sum_{n = 1}^{\infty} n$	The sum from n=1 to infinity of n
Sum003	$\sum_{i \in ℤ^{+}} i$	The sum over I is a member of the positive integers, of i
Sum004	$\sum_{S} i$	The sum over S, of I
Sum005	$\sum a_{i}$	The sum of, a sub I
Sum006	$\prod_{i = 1}^{10} i$	The product from i=1 to 10 of i
Sum007	$\prod_{i \in ℤ^{+}} \frac{i}{i + 1}$	The product over I is a member of the positive integers of the fraction with numerator 1 and denominator i+1
Sum008	$\prod_{ℤ^{+}} \frac{i}{i + 1}$	The product over the positive integers of the fraction with numerator 1 and denominator i+1
Sum009	$\prod a_{i}$	The product of, a sub i
Sum010	$\cap_{i = 1}^{10} S_{i}$	The intersection from i=1 to 10 of S sub i
Sum011	$\cup_{i = 1}^{10} S_{i}$	The union from i=1 to 10 of S sub i
Sum012	$\cap S_{i}$	The intersection of S sub i
Sum013	$\cup S_{i}$	The union of. S sub i
Sum014	$\underset{C}{\cap} S_{i}$	The intersection over C of S sub i
Sum015	$\underset{C}{\cup} S_{i}$	The union over C of S sub i
Sum016	$\int f (x) d x$	The integral of f of x dx
Sum017	$\int_{0}^{1} f (x) d x$	The integral from 0 to 1 of f of x dx
Sum018	$\int_{ℝ} f (x) d x$	The integral over the real numbers of f of x dx