'        ARITHMETICAL PART 

e
 =       " == "         =we            
 *       " * "          =we
 \       " / "          =we  '!~ in ASP, this is int-division    
 +       " + "          =we
 -       " - "          =we
 /       " / "          =we
 mod.k   " % "          =we
 and.k   " & "          =we  '!b bitwise; replace & with && for plain boolean variables;
 or.k    " | "          =we  '!b -----"------
 xor.k   " ^ "          =we  '!b -----"------
 imp.k   imp!!          =we  '!!  imp is bitwise in ASP.
 eqv.k   eqv!!          =we  '!!  eqv is bitwise in ASP
 <>      " != "         =we
 <=      " <= "         =we
 >=      " >= "         =we
 >       " > "          =we    
 <       " < "          =we        
 &       " . "          =we    
 ^       pow!!          =we  '!! 
 is.k    is!!           =we  '!!