Table 1: Syntax for identity and equivalent for the languages