rewrite unicode arrows in ascii (otherwise I get "erroneous or inaccessible type"), add the test object