^ def