Lie groupoids are often denoted by G ⇉ ⇉ M , where the two arrows represent the source and the target. The notation G 1 ⇉ ⇉ G 0 is also frequently used, especially when stressing the simplicial structure of the associated nerve.