Symbolic representation of big-O notation