SymEval v20111223-beta documentation