I do not have any preference - the font of the current version of the book is fine, but a (slightly) bigger font (resulting in more pages) will also do.
Alexander On Saturday, May 25, 2019 at 5:13:07 AM UTC+2, David A. Wheeler wrote: > > We're down to the wire on the printed Metamath book, and I have a > question: > 10pt or 11pt for the body text size? If you have a preference > (especially if you plan to get a copy), please speak up! > > I just learned that the fonts, when printed, are smaller than I expected. > The current book is printed in 10pt font. If you just "print to a > printer" > using US letter (8.5"x11"), on my system the pages are automatically > scaled to be bigger and it looks great. The same thing happens on-screen: > rescaling is easy and automatic. Obviously that's not true for a book, > but I only realized today that auto-scaling was fooling me. > > For me, the 10pt size is a little hard to read, while 11pt is great. > 11pt does require more pages, though I don't think it's too bad. Current > estimate: > 10pt: 241 pages > 11pt: 289 pages > Norm is concerned about the size/weight, but since I expect it to be > hardcover I don't think that's as critical. > > Some existing discussion here: > https://github.com/metamath/metamath-book/issues/143 > > Thanks! > > --- David A. Wheeler > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/425efa37-9d2b-41f4-867f-08bb72efbbb4%40googlegroups.com.
