[2snakes]

It is important to recognize that computers are symbol processors. An alternative method for math is distinction in George Spencer-Brown's Laws of Form, aka "iconic math" or math that looks like what it is describing.