First attempt at symbolic input