Avaldis 9: StartFraction, "c" Over "x" , EndFractioncx
9
Avaldis 10: "d" equals "e" Superscript, negative StartFraction, 2abs left parenthesis, "x" minus "t" , right parenthesis Over "W" , EndFraction , Baseline left parenthesis, 1 minus "R" Subscript, "i" , Baseline , right parenthesisd=e−2absx−tW1−Ri
10
Avaldis 11: "c" equals min left parenthesis, "a" , "b" , right parenthesis minus StartFraction, "d" "W" Over 4 , EndFractionc=mina,b−dW4
11
Avaldis 12: "k" equals 4k=4
11
88
12
Avaldis 13: "j" equals left parenthesis, 1 minus "R" Subscript, "i" , Baseline , right parenthesis left parenthesis, max left parenthesis, 1 minus abs left parenthesis, StartFraction, 2 left parenthesis, "x" minus "t" , right parenthesis Over "k" "W" , EndFraction , right parenthesis , 0 , right parenthesis , right parenthesis Superscript, "k" , Baselinej=1−Rimax1−abs2x−tkW,0k
13
Avaldis 14: min left parenthesis, "a" , "b" , right parenthesis minus StartFraction, "j" "W" Over 4 , EndFractionmina,b−jW4
14
Avaldis 15: StartFraction, 2 Over "W" , EndFraction2W
