home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / text / tex / 13255 < prev    next >
Encoding:
Internet Message Format  |  1992-11-17  |  2.9 KB
  1. Path: sparky!uunet!usc!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!uknet!news.cs.bham.ac.uk!hsg
  2. From: hsg@cs.bham.ac.uk (Howard S. Goodman)
  3. Newsgroups: comp.text.tex
  4. Subject: Plain TeX: tab characters within macro definitions
  5. Message-ID: <BxnFFt.6Gy@cs.bham.ac.uk>
  6. Date: 13 Nov 92 09:52:41 GMT
  7. Sender: news@cs.bham.ac.uk
  8. Organization: School of Computer Science, University of Birmingham, England
  9. Lines: 66
  10. Originator: hsg@mopsy
  11. Nntp-Posting-Host: mopsy
  12.  
  13. In comp.text.tex I wrote:
  14.  
  15. > A question: why does this work
  16. > 
  17. >     \let\\=\cr
  18. >     \def\by #1\\{\hbox{by #1}\noexpand\cr}
  19. >     $$\eqalignno{[1] &\Rightarrow x < z    &\by transitivity of $<$ \\
  20. >       &\Rightarrow (x:xs) \leq (z:zs)    &\by definition \\}$$
  21. > 
  22. > when this doesn't
  23. > 
  24. >     \let\\=\cr
  25. >     \def\by #1\\{&\hbox{by #1}\noexpand\cr}
  26. >     $$\eqalignno{[1] &\Rightarrow x < z    \by transitivity of $<$ \\
  27. >       &\Rightarrow (x:xs) \leq (z:zs)    \by definition \\}$$
  28. > 
  29. > ?
  30.  
  31. Thank you to <nakasima@kuis.kyoto-u.ac.jp> for the following reply:
  32.  
  33. > Huh, this is a very hard question.  First of all, \noexpand
  34. > in \by seems to has no effect.  Without \noexpand, the first
  35. > example works and the second doesn't with same error, and
  36. > the trace of the first one shows that TeX found \cr in \by
  37. > normally.
  38. > 
  39. > Well, the difference between two cases is that \by in the
  40. > first is invoked just after &, while is not in the second
  41. > case.  As you probably know, TeX's macro expansion mechanism
  42. > in a row for alignment is affected by the condition whether
  43. > a macro directly follows & or not.  If a macro appears just
  44. > after &, TeX expands it until a non-blank non-expandable
  45. > token is found, in order to check whether the token is
  46. > \omit.  Otherwise, TeX expands macro normally.
  47. > 
  48. > The argument reading process is also different.  As you
  49. > know, & and \cr act as }{ in some sense. In the latter
  50. > (normal) case, TeX reads the argument of \by and finds \\
  51. > (\let equal to \cr) and complains;
  52. > 
  53. >     ! Argument of \by has an extra }.
  54. > 
  55. > because it looks like;
  56. > 
  57. >     \by transitivity of $x$}{
  58. > 
  59. > for TeX.  In the former case (just after &), TeX seems to
  60. > read the argument as if it is not in alignment.  Thus, \\ is
  61. > not assumed as }{, and \by works well.
  62. > 
  63. > Then, what is the solution to make \by with & work well?
  64. > The solution is;
  65. > 
  66. >     \def\by{&\BY}
  67. >     \def\BY#1\\{\hbox{by #1}\cr}
  68. > 
  69. > O.K.?
  70. > -----------------------------------------------------------------
  71. > Hiroshi Nakashima (nakasima@kuis.kyoto-u.ac.jp)
  72. > Dept. of Information Science, Faculty of Engineering, Kyoto Univ.
  73. > Yoshida Hon-Machi, Kyoto, 606-01 Japan.        phone:+75-753-5383
  74.  
  75. +--------------------+--------------------------------------------------------+
  76. | howard s goodman   |  school of computer science - university of birmingham |
  77. | hsg@cs.bham.ac.uk  |                 - BIRMINGHAM - B15 2TT - england |
  78. +--------------------+--------------------------------------------------------+
  79.