usr/share/open-axiom/hypertex usr/lib/open-axiom/share/hypertex