Let $\mathcal{P}$ a Penrose tiling built by a substitution $\omega$ with two triangles.
It is claimed, for instance, in the article of Anderson and Putnam "Topological invariants for substitution tilings and their $C^{\star}$-algebras" that $\omega$ is bijective.
Why is it true?