Avaldis 7: "f" left parenthesis, "x" , right parenthesis equals StartFraction, left parenthesis, "x" , right parenthesis Superscript, alpha minus 1 , Baseline left parenthesis, 1 minus left parenthesis, "x" , right parenthesis , right parenthesis Superscript, beta minus 1 , Baseline Over StartNestedFraction, left parenthesis, alpha minus 1 , right parenthesis ! left parenthesis, beta minus 1 , right parenthesis ! NestedOver left parenthesis, alpha plus beta minus 1 , right parenthesis ! , EndNestedFraction , EndFraction left brace, 0 less than "x" less than 1 , right bracefx=xα−11−xβ−1α−1!β−1!α+β−1!0<x<1
7
Avaldis 8: 0 less than or equal to "y" less than or equal to "f" left parenthesis, "x" , right parenthesis left brace, "x" less than 1 , right brace0≤y≤fxx<1
