/x-symbol/
../
README.x-symbol-for-ProofGeneral
etc
lisp