Fundamental group of a special cube complex (source code)

= Fundamental group of a special cube complex

The local isometry from a connected special cube complex to a <Salvetti complex> induces an injection of fundamental groups. Hence its fundamental group is a subgroup of a <Right-angled Artin group>.