epub or mobi version

[slacka]

Would be great for those of us with e-book readers. Thanks!

[mdnahas]

When I looked into this in the past, the results with "mobi" and "ePub" are
difficult to achieve and faulty. LaTeX just isn't meant to generate them.

I use PDFs on my iPad Mini. The book looks fine, but the font is small.
If I have the time, I'll look into tuning the page format for a smaller
screen. (less margins, larger font, but keep images the same size.)

http://tex.stackexchange.com/questions/16374/effort-to-make-latex-ebook-friendly

http://tex.stackexchange.com/questions/3070/preparing-pdf-files-for-ebook-readers-etc

On Fri, Jun 21, 2013 at 10:56 AM, slacka notifications@github.com wrote:

Would be great for those of us with e-book readers. Thanks!

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/287
.

[andrejbauer]

In the meanwhile we prepared hott-ebook.pdf with small margins. Please use that until someone figures out how to typeset math for ebooks.

[mdnahas]

Dandy!

On Fri, Jun 21, 2013 at 1:44 PM, Andrej Bauer notifications@github.comwrote:

In the meanwhile we prepared hott-ebook.pdf with small margins. Please
use that until someone figures out how to typeset math for ebooks.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/287#issuecomment-19811309
.

[loopspace]

I've figured out how to typeset maths for ebooks ...

But it's definitely non-trivial to convert a LaTeX file to ePub. I got something that compiled, but needs some work to make it a true ePub version.

[andrejbauer]

I will buy you a beer if you can do this.

[loopspace]

To give you a flavour of what it might look like (and also to show where work would need to be done) here's the introduction as an ePub:

http://www.math.ntnu.no/~stacey/documents/HoTT-introduction.epub

This is a valid ePub3 with mathematics embedded as MathML. It opens in iBooks, but some of the glyphs are missing (as are the references, but that's because it's just the first chapter). There are probably lots of other oddities that someone familiar with the text would spot.

The big issue (which is common to any LaTeX-to-non-fixed-format conversion) is that there are things where you have to work out "What do I want this to be like in the final document?" and the answer isn't always the same for PDF as for XHTML (including ePub) as PDF is a visual, fixed layout format and XHTML isn't.

But fortunately, this is perhaps something that is easy to do via a collaborative effort. If I can get the backbone working then others can put the flesh on it by figuring out the figures and replacements for missing glyphs and so forth.

[andrejbauer]

Would it make sense to have a separate branch for this? How much will we have to "pollute" the source to get epub working?

[loopspace]

Inevitably some messing with the main text will be necessary (particularly with diagrams). At the moment I'm trying my best not to mess with the actual text and just handle things at the macro level.

Though I'm coming up against some issues with your ... creative ... use of the equation environment! I might have to rewrite those as I've not found a way to embed ordinary text inside mathematics and still have full range of text.

Technical bit: the equation environment signals maths, so we start a MathML piece. Text within that gets put into an mtext tag, but you then want emphasised text within that and the naive text doesn't work. I'm not sure how to fix this as I don't know how to make that work. Easier would be to devise an alternative environment that didn't start off in mathematics mode. Here's an example from preliminaries.tex:

\begin{equation}\label{eq:tautology1}
\text{\emph{``If not $A$ and not $B$, then not ($A$ or $B$)''}.}
\end{equation}

Technically here, the outer mathematical environment is doing nothing. But an automated system still sees it.

An alternative would be to have a textequation environment which centres its contents and sticks the equation label exactly as the equation environment does, but doesn't go into maths mode.

[andrejbauer]

For that sort of thing we probably don't care whether it really is a math environment. It just has to look kind of the same.

[loopspace]

A very simple version would be:

\newenvironment{textequation}{\equation\hbox\bgroup}{\egroup\endequation}

[andrejbauer]

I am inclined to start this off as a fork first, and then pull it in when we can be sure it's working. I imagine you already have a fork. I'll follow you there, and here maybe you can post a link to it for people who are interested in coperation.

Or we make a branch. I am not sure which is The Correct Thing to do in this case.

[mikeshulman]

I guess the reason to make this a math environment was to get it an
equation number.
On Jun 21, 2013 10:53 AM, "loopspace" notifications@github.com wrote:

A very simple version would be:

\newenvironment{textequation}{\equation\hbox\bgroup}{\egroup\endequation}

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/287#issuecomment-19830773
.

[dvanduzer]

Here are some samples generated using pandoc (v1.11.1 compiled with texmath 0.6.1.3):

$ pandoc -t epub3 -f latex -o ~/Dropbox/HoTT/hott-intro-pandoc.epub introduction.tex

https://www.dropbox.com/s/saxm6cdqnjccd8g/hott-intro-pandoc.epub

$ pandoc -t epub3 -f latex -R -o ~/Dropbox/HoTT/hott-intro-pandoc-raw.epub introduction.tex

https://www.dropbox.com/s/hmoan0vzio2u5o9/hott-intro-pandoc-raw.epub

Any macro debugging will help all of these efforts. The best github way to do this would probably be to create an "epub" feature branch in your project. Contributors would still use forks and pull requests to submit changes to the "epub" branch, and whichever work pans out can later be merged into the master branch on the official project.

[loopspace]

The textequation that I gave above will get an equation number.

I foresee two types of changes needed to get an epub version. Some changes are things that can be done on the main version and have no effect there but make life easier for conversion scripts (such as mine or pandoc). These are things like the textequation environment, and changing underscores in reference names to hyphens.

Others will be things that are specific to an epub version.

I'm currently working just on my own machine. I'll create a github fork sometime soon and make it a bit more official. I wanted to see if it were even possible before doing anything serious.

Right, here's what I've gotten today. It's everything up to the appendix, apart from the fact that I've blanked out a few things that I know are going to be tricky (diagrams mainly) and there are a few symbols that I can't find in the unicode list. It opens in Azardi, I haven't tried it in iBooks yet. There are validation errors, mostly due to references but a few due to maths in the section titles.

http://www.math.ntnu.no/~stacey/documents/HoTT-main.epub

[loopspace]

I've uploaded a new version to the above link which does open in iBooks on an iPad. It contains all the sections up to the appendix.