Chinese translations of TeXmacs's documents