Branch of mathematics using symbols