eo/contrib/mathsym/fun
