Expression 15: "f" left parenthesis, "C" Subscript, 1 , Baseline , right parenthesis tilde "g" left parenthesis, "C" Subscript, 1 , Baseline , right parenthesis left brace, 0 less than "C" Subscript, 1 , Baseline , right bracefC1~gC10<C1
Expression 19: "g" left parenthesis, "x" , right parenthesis less than or equal to "y" less than or equal to "f" left parenthesis, "x" , right parenthesisgx≤y≤fx
19
Expression 20: "g" left parenthesis, "x" , right parenthesis less than or equal to "y" less than or equal to "f" left parenthesis, "x" , right parenthesisgx≤y≤fx
20
Expression 21: "f" left parenthesis, "x" , right parenthesisfx
21
Expression 22: "g" left parenthesis, "x" , right parenthesisgx