A New Language for Mathematics