TeX source:

D E=3, E F=3 \sqrt{3}