In a certain gaming community, we laugh not with "lol" but with "11", since that plays a laughing taunt. This extends to chats outside of the game itself