Enviar por SMS: Dictionary of symbols of mathematical logic