some ∙' versions in PathGroupoid