Avaldis 12: "x" Subscript, 5 , Baseline equals "g" left parenthesis, "x" Subscript, 4 , Baseline , right parenthesisx5=gx4
12
Avaldis 13: "x" Subscript, 6 , Baseline equals "g" left parenthesis, "x" Subscript, 5 , Baseline , right parenthesisx6=gx5
13
Avaldis 14: "x" equals "x" Subscript, 1 , Baseline left brace, 0 less than or equal to "y" less than or equal to "x" Subscript, 2 , Baseline , "x" Subscript, 2 , Baseline less than or equal to "y" less than or equal to 0 , right bracex=x10≤y≤x2,x2≤y≤0
14
Avaldis 15: "y" equals "x" Subscript, 2 , Baseline left brace, "x" Subscript, 1 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 2 , Baseline , "x" Subscript, 2 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 1 , Baseline , right bracey=x2x1≤x≤x2,x2≤x≤x1
15
Avaldis 16: "x" equals "x" Subscript, 2 , Baseline left brace, "x" Subscript, 3 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 2 , Baseline , "x" Subscript, 2 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 3 , Baseline , right bracex=x2x3≤y≤x2,x2≤y≤x3
16
Avaldis 17: "y" equals "x" Subscript, 3 , Baseline left brace, "x" Subscript, 3 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 2 , Baseline , "x" Subscript, 2 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 3 , Baseline , right bracey=x3x3≤x≤x2,x2≤x≤x3
17
Avaldis 18: "x" equals "x" Subscript, 3 , Baseline left brace, "x" Subscript, 4 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 3 , Baseline , "x" Subscript, 3 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 4 , Baseline , right bracex=x3x4≤y≤x3,x3≤y≤x4
18
Avaldis 19: "y" equals "x" Subscript, 4 , Baseline left brace, "x" Subscript, 4 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 3 , Baseline , "x" Subscript, 3 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 4 , Baseline , right bracey=x4x4≤x≤x3,x3≤x≤x4
19
Avaldis 20: "x" equals "x" Subscript, 4 , Baseline left brace, "x" Subscript, 5 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 4 , Baseline , "x" Subscript, 4 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 5 , Baseline , right bracex=x4x5≤y≤x4,x4≤y≤x5
20
Avaldis 21: "x" equals "x" Subscript, 5 , Baseline left brace, "x" Subscript, 6 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 5 , Baseline , "x" Subscript, 5 , Baseline less than or equal to "y" less than or equal to "x" Subscript, 6 , Baseline , right bracex=x5x6≤y≤x5,x5≤y≤x6
21
Avaldis 22: "y" equals "x" Subscript, 5 , Baseline left brace, "x" Subscript, 5 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 4 , Baseline , "x" Subscript, 4 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 5 , Baseline , right bracey=x5x5≤x≤x4,x4≤x≤x5
22
Avaldis 23: "y" equals "x" Subscript, 6 , Baseline left brace, "x" Subscript, 6 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 5 , Baseline , "x" Subscript, 5 , Baseline less than or equal to "x" less than or equal to "x" Subscript, 6 , Baseline , right bracey=x6x6≤x≤x5,x5≤x≤x6
23
Avaldis 24: left parenthesis, "x" Subscript, 1 , Baseline , 0 , right parenthesisx1,0
