maxima strings are terminated with a semicolon automatically (if the user forgets)