수식 5: left parenthesis, "a" , "f" left parenthesis, "a" , right parenthesis , right parenthesisa,fa
5
수식 6: negative StartAbsoluteValue, "a" , EndAbsoluteValue less than "x" less than StartAbsoluteValue, "a" , EndAbsoluteValue left brace, 0 less than "y" less than "f" left parenthesis, "a" , right parenthesis , right brace−a<x<a0<y<fa