SMS: Arithmetick symbolical :