TLC2, ch-end.tex,v: 1.39, p.963 Bibliography [1] Adobe Systems Incorporated. Adobe Type 1 Font Format. Addison-Wesley, Reading, MA, USA, 1990. ISBNThe “black book” contains the speciﬁcat

First Page		Document Content
Date: 2016-08-08 13:00:03 TeX Typesetting Donald Knuth Macro programming languages Digital typography LaTeX Metafont MetaPost PSTricks Computer Modern TUGboat Device independent file format		TLC2, ch-end.tex,v: 1.39, p.963 Bibliography [1] Adobe Systems Incorporated. Adobe Type 1 Font Format. Addison-Wesley, Reading, MA, USA, 1990. ISBNThe “black book” contains the speciﬁcat Add to Reading List Source URL: www.latex-project.org Download Document from Source Website File Size: 789,86 KB Share Document on Facebook

	Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2 DocID: 1xVRt - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xVCA - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xUVj - View Document
	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xTqv - View Document
	PDF Document DocID: 1xEgP - View Document