運算式 1: "y" equals mod left parenthesis, 4 StartAbsoluteValue, "x" , EndAbsoluteValue , 4 , right parenthesis left brace, "y" less than or equal to 2 , right bracey=mod4x,4y≤2
1
運算式 2: "y" equals mod left parenthesis, negative 4 StartAbsoluteValue, "x" , EndAbsoluteValue , 4 , right parenthesis left brace, "y" less than or equal to 2 , right bracey=mod−4x,4y≤2