Avaldis 12: "a" equals left bracket, 0...5 0 0 , right bracketa=0...500
12
Avaldis 13: "y" equals left parenthesis, "c" Subscript, "o" "l" "l" "a" "t" "z" , Baseline left parenthesis, "a" plus 1 , right parenthesis minus "c" Subscript, "o" "l" "l" "a" "t" "z" , Baseline left parenthesis, "a" , right parenthesis , right parenthesis left parenthesis, "x" minus "a" , right parenthesis plus "c" Subscript, "o" "l" "l" "a" "t" "z" , Baseline left parenthesis, "a" , right parenthesis left brace, "a" less than or equal to "x" less than or equal to "a" plus 1 left brace, , right brace , right bracey=collatza+1−collatzax−a+collatzaa≤x≤a+1
