運算式 6: "s" Subscript, 2 , Baseline equals left brace, "a" greater than or equal to "d" : "a" minus StartFraction, "d" Over 2 , EndFraction , "a" less than "d" : "a" times StartFraction, "a" Over 2 "d" , EndFraction , right braces2=a≥d:a−d2,a<d:a·a2d
equals=
2525
6
運算式 7: "f" left parenthesis, "x" , "y" , right parenthesis equals left brace, "x" greater than or equal to "y" : "x" minus StartFraction, "y" Over 2 , EndFraction , "x" less than "y" : "x" times StartFraction, "x" Over 2 "y" , EndFraction , right bracefx,y=x≥y:x−y2,x<y:x·x2y
7
運算式 8: "y" equals "f" left parenthesis, "x" , "d" , right parenthesis left brace, "x" greater than 0 , right bracey=fx,dx>0
8
運算式 9: "y" equals "x" minus "d" left brace, "x" greater than 0 , right bracey=x−dx>0