The groups QF , QT ,QT ,QV , and QV are groups of quasiautomorphisms of the infinite binary tree. Their names indicate a similarity with Thompson's well-known groups F , T , and V .We will use the theory of diagram groups over semigroup presentations to prove that all of the above groups (and several generalizations) have type F∞. Our proof uses certain types of hybrid diagrams, which have properties in common with both planar diagrams and braided diagrams. The diagram groups defined by hybrid diagrams also act properly and isometrically on CAT(0) cubical complexes.2010 Mathematics Subject Classification. 20F65, 57M07.The third author showed (in [11]) that QV is a braided diagram group over a semigroup presentation. This description suggests an approach to proving the F ∞ property for QV . Since [10] shows that a class of braided diagram groups (including Thompson's group V ) have type F ∞ , and in fact other classes of diagram groups were shown to have type F ∞ in [8] and [10], it is at least plausible that some approach inspired by the theory of diagram groups could establish the F ∞ property for QV and QT . (We note that the original proofs that Thompson's groups F , T , and V have type F ∞ were given by Brown [4] and by Brown and Geoghegan [5] in the 1980s.)Nucinkis and St. John-Green show, however, that the hypotheses of the main theorem in [10] are satisfied by neither QT nor QV . In fact, as also noted in [14], even the much more general main theorem of [15] does not apply to either of QT and QV .The goal of the present article is to extend the diagram-group methods of [8] and [10] to the groups QF , QT , QV ,QT , andQV . We will show that all of these groups can be described using the theory of diagram groups over semigroup presentations. Indeed, all of these groups are diagram groups over the same semigroup presentation, namely P = x, a | x = xax , although the specific types of diagram vary from group to group. Three types of diagram groups have been considered in the literature: planar, annular, and braided diagram groups. All were introduced by Guba and Sapir in [12], which devotes by far the greatest attention to planar diagram groups (which are usually simply called diagram groups). The papers [9] and [10] consider the annular and braided diagram groups in more detail. Here we will introduce hybrid diagram groups that combine properties of multiple diagram group types. For instance, the group QF is a special type of diagram group over P, in which the diagrams exhibit both planar and braided behavior at the same time. We will use such hybrid diagrams to prove that the groups QF , QT , QV ,QT , and QV all act properly by isometries on CAT(0) cubical complexes, and that all have type F ∞ . In fact, our methods extend with equal ease to the case of an arbitrary finite number of binary trees and isolated vertices (see Section 5), and the case of n-ary trees (for fixed n ≥ 2) is different only in the details. It even seems likely that our argument generalizes to other, non-regular, trees, although this i...