en:dot_arrow_theory