Envoyer par SMS: Dictionary of symbols of mathematical logic