A groupoid G is sometimes denoted as , where is the set of all morphisms, and the two arrows represent the source and the target.
A groupoid G is sometimes denoted as  where is the set of all morphisms and the two arrows represent the source and the target