Pi and Sigma in PDF table of contents about book

[mikeshulman]

We could also just change the names of those sections.
On Mar 8, 2013 9:06 AM, "Andrej Bauer" [email protected] wrote:

Sections 2.5.2 and 2.5.4 are called $\Sigma$-types and $\Pi$-types,
respectively. In a PDF viewer (Skim and Preview on OSX) these appear as
"-types" and "-types" in the table of contents sidebar. If anyone knows how
to fix this, without ruining the table of contents in the book, please do.

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

[andrejbauer]

"Dependent sums" and "Dependent products"?

[txa]

I am currenty working on preliminiaries.tex

Thorsten

From: Andrej Bauer <[email protected]mailto:[email protected]>
Reply-To: HoTT/book <[email protected]mailto:[email protected]>
Date: Friday, 8 March 2013 10:38
To: HoTT/book <[email protected]mailto:[email protected]>
Subject: Re: [book] Pi and Sigma in PDF table of contents (#6)

"Dependent sums" and "Dependent products"?

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

This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment

may still contain software viruses which could damage your computer system:

you are advised to perform your own checks. Email communications with the

University of Nottingham may be monitored as permitted by UK legislation.

[peterlefanulumsdaine]

For the original issue of including special characters in section names, there’s a straightforward fix I used in my thesis:

\chapter{The fundamental weak \texorpdfstring{$\omega$}{ω}-groupoid of a type}

I’m afraid I can’t remember off the top of my head what the package(s) this depends on are, and I’m running out the door right now — but there was nothing problematic in making it work.

[peterlefanulumsdaine]

Ah — checking, \texorpdfstring is provided by hyperref, so that’s no problem; and the book is already taking utf8 input, so giving the greek characters should be fine too.

[peterlefanulumsdaine]

Fixed as described above.