When ΔABC and ΔDEF are similar then it is written symbolically as _____: