if (function==Function.EQUALS ||
function==Function.ADD || function==Function.MINUS ||
function==Function.TIMES || function==Function.FRACTION ||
function==Function.LESS_EQUALS || function==Function.LESS_THAN ||
function==Function.GREATER_EQUALS || function==Function.GREATER_THAN) {
SymbolicState infix = ((SymbolicFunction) function).getInfix();
notation += infix.getName(); //i.e. +, -, * or /.
} else if (function==null) {
notation += Function.UNKNOWN.getName();
} else {
notation += function.getName();
}