\_ ==> _
minor fix and reindent
add a paper for axiom
add m17n for emacs
minor update