Avaldis 14: "d" "o" "n" prime "t" "l" "o" "o" "k" "b" "e" "l" "o" "w"don′tlookbelow
14
Avaldis 15: "x" equals "x" Subscript, 1 , Baseline left brace, "y" Subscript, 1 , Baseline minus "v" less than "y" less than "y" Subscript, 1 , Baseline plus "v" , right bracex=x1y1−v<y<y1+v
15
Avaldis 16: "y" equals "y" Subscript, 1 , Baseline left brace, "x" Subscript, 1 , Baseline minus "h" less than "x" less than "x" Subscript, 1 , Baseline plus "h" , right bracey=y1x1−h<x<x1+h
