search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 238 forks source link

Glossary & List/Index of symbols #40

Open rzach opened 9 years ago

rzach commented 9 years ago

Add glossary functionality & an index of symbols. To discuss: separate index of symbols, definitions?

Student suggestion: include pronunciation guide for symbols.

http://en.wikibooks.org/wiki/LaTeX/Glossary

emanuelbuholzer commented 7 years ago

I started with my own glossary while reading through the book. What do you want and what not in the glossary? My approach is to write down everything I don't understand or find confusing after a first read. Therefore it might cover definitions of terms that are too basic for native English speakers.

rzach commented 7 years ago

That's great! I haven't had time to think about how to best do it. The main problem is (may be? I haven't tried it) that tokenized text and glossaries probably don't work well together. Eg a glossary entry for "formula" should print & index as whatever !!{formula} is defined as. Since glossaries are written to a file and then processed with makeglossaries, the !! might get lost (bad, as the glossary wont match the text)), or it might be retained (also bad, since then everything will be alphabetized under '!!'). But glossaries does pretty much what the !! token mechanism does, ie, replace \gls{formula} by whatever the glossary entry for formula says this should print as. So a solution might be to simply replace the !! backend by the glossaries backend. But it took me a while to get !! to work properly so I'm reluctant to change anything since things might break.