to laugh; to smile; to grin; to giggle; to titter; to chuckle; to snicker; to guffaw
to ridicule; to deride; to jeer
to poke fun at; to laugh at; to make fun of
to roar with laughter; to laugh heartily
☺
