You use the @ symbol and start typing their username. Various users will appear in a sort of drop down situation.