Remove omega character (causes problems in Emacs); fix bug in eq function; add more tests