/x-symbol/
../
README.x-symbol-for-ProofGeneral
etc
info
lisp
man
pkginfo