You can easily tag another user by either simply typing in their name — the system should automatically recognize users beginning with the letters you type — or by preceding their name with the “@” symbol.