alt-j -> ∆