SHARE
TWEET

Untitled

a guest Mar 20th, 2017 52 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. : (char "a")
  2. -> 97
  3. : (char "字")
  4. -> 23383
  5. : (char 23383)
  6. -> "字"
  7. : (chop "文字")
  8. -> ("文" "字")
  9. : (mapcar char @)
  10. -> (25991 23383)
  11.    
  12. documentclass{article}
  13. usepackage[T1]{fontenc}
  14. usepackage{CJKutf8}
  15. usepackage[english]{babel}
  16.  
  17. newenvironment{Japanese}{%
  18.   CJKfamily{min}%
  19.   CJKtilde
  20.   CJKnospace}{}
  21.  
  22. begin{document}
  23.  
  24. begin{CJK}{UTF8}{}
  25. begin{Japanese}
  26. noindent: (char ``a'') \
  27. -> 97 \
  28. : (char ``字'') \
  29. -> 23383 \
  30. : (char 23383) \
  31. -> ``字'' \
  32. : (chop ``文字'') \
  33. -> (``文'' ``字'') \
  34. : (mapcar char @) \
  35.    
  36. end{document}
RAW Paste Data
Top