1548
1796
% Definitions for a main text size of 11pt. This is the default in
1551
\def\definetextfontsizexi{
1799
\def\definetextfontsizexi{%
1552
1800
% Text fonts (11.2pt, magstep1).
1553
1801
\def\textnominalsize{11pt}
1554
1802
\edef\mainmagstep{\magstephalf}
1555
\setfont\textrm\rmshape{10}{\mainmagstep}
1556
\setfont\texttt\ttshape{10}{\mainmagstep}
1557
\setfont\textbf\bfshape{10}{\mainmagstep}
1558
\setfont\textit\itshape{10}{\mainmagstep}
1559
\setfont\textsl\slshape{10}{\mainmagstep}
1560
\setfont\textsf\sfshape{10}{\mainmagstep}
1561
\setfont\textsc\scshape{10}{\mainmagstep}
1562
\setfont\textttsl\ttslshape{10}{\mainmagstep}
1803
\setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
1804
\setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
1805
\setfont\textbf\bfshape{10}{\mainmagstep}{OT1}
1806
\setfont\textit\itshape{10}{\mainmagstep}{OT1IT}
1807
\setfont\textsl\slshape{10}{\mainmagstep}{OT1}
1808
\setfont\textsf\sfshape{10}{\mainmagstep}{OT1}
1809
\setfont\textsc\scshape{10}{\mainmagstep}{OT1}
1810
\setfont\textttsl\ttslshape{10}{\mainmagstep}{OT1TT}
1563
1811
\font\texti=cmmi10 scaled \mainmagstep
1564
1812
\font\textsy=cmsy10 scaled \mainmagstep
1813
\def\textecsize{1095}
1566
1815
% A few fonts for @defun names and args.
1567
\setfont\defbf\bfshape{10}{\magstep1}
1568
\setfont\deftt\ttshape{10}{\magstep1}
1569
\setfont\defttsl\ttslshape{10}{\magstep1}
1816
\setfont\defbf\bfshape{10}{\magstep1}{OT1}
1817
\setfont\deftt\ttshape{10}{\magstep1}{OT1TT}
1818
\setfont\defttsl\ttslshape{10}{\magstep1}{OT1TT}
1570
1819
\def\df{\let\tentt=\deftt \let\tenbf = \defbf \let\tenttsl=\defttsl \bf}
1572
1821
% Fonts for indices, footnotes, small examples (9pt).
1573
1822
\def\smallnominalsize{9pt}
1574
\setfont\smallrm\rmshape{9}{1000}
1575
\setfont\smalltt\ttshape{9}{1000}
1576
\setfont\smallbf\bfshape{10}{900}
1577
\setfont\smallit\itshape{9}{1000}
1578
\setfont\smallsl\slshape{9}{1000}
1579
\setfont\smallsf\sfshape{9}{1000}
1580
\setfont\smallsc\scshape{10}{900}
1581
\setfont\smallttsl\ttslshape{10}{900}
1823
\setfont\smallrm\rmshape{9}{1000}{OT1}
1824
\setfont\smalltt\ttshape{9}{1000}{OT1TT}
1825
\setfont\smallbf\bfshape{10}{900}{OT1}
1826
\setfont\smallit\itshape{9}{1000}{OT1IT}
1827
\setfont\smallsl\slshape{9}{1000}{OT1}
1828
\setfont\smallsf\sfshape{9}{1000}{OT1}
1829
\setfont\smallsc\scshape{10}{900}{OT1}
1830
\setfont\smallttsl\ttslshape{10}{900}{OT1TT}
1582
1831
\font\smalli=cmmi9
1583
1832
\font\smallsy=cmsy9
1833
\def\smallecsize{0900}
1585
1835
% Fonts for small examples (8pt).
1586
1836
\def\smallernominalsize{8pt}
1587
\setfont\smallerrm\rmshape{8}{1000}
1588
\setfont\smallertt\ttshape{8}{1000}
1589
\setfont\smallerbf\bfshape{10}{800}
1590
\setfont\smallerit\itshape{8}{1000}
1591
\setfont\smallersl\slshape{8}{1000}
1592
\setfont\smallersf\sfshape{8}{1000}
1593
\setfont\smallersc\scshape{10}{800}
1594
\setfont\smallerttsl\ttslshape{10}{800}
1837
\setfont\smallerrm\rmshape{8}{1000}{OT1}
1838
\setfont\smallertt\ttshape{8}{1000}{OT1TT}
1839
\setfont\smallerbf\bfshape{10}{800}{OT1}
1840
\setfont\smallerit\itshape{8}{1000}{OT1IT}
1841
\setfont\smallersl\slshape{8}{1000}{OT1}
1842
\setfont\smallersf\sfshape{8}{1000}{OT1}
1843
\setfont\smallersc\scshape{10}{800}{OT1}
1844
\setfont\smallerttsl\ttslshape{10}{800}{OT1TT}
1595
1845
\font\smalleri=cmmi8
1596
1846
\font\smallersy=cmsy8
1847
\def\smallerecsize{0800}
1598
1849
% Fonts for title page (20.4pt):
1599
1850
\def\titlenominalsize{20pt}
1600
\setfont\titlerm\rmbshape{12}{\magstep3}
1601
\setfont\titleit\itbshape{10}{\magstep4}
1602
\setfont\titlesl\slbshape{10}{\magstep4}
1603
\setfont\titlett\ttbshape{12}{\magstep3}
1604
\setfont\titlettsl\ttslshape{10}{\magstep4}
1605
\setfont\titlesf\sfbshape{17}{\magstep1}
1851
\setfont\titlerm\rmbshape{12}{\magstep3}{OT1}
1852
\setfont\titleit\itbshape{10}{\magstep4}{OT1IT}
1853
\setfont\titlesl\slbshape{10}{\magstep4}{OT1}
1854
\setfont\titlett\ttbshape{12}{\magstep3}{OT1TT}
1855
\setfont\titlettsl\ttslshape{10}{\magstep4}{OT1TT}
1856
\setfont\titlesf\sfbshape{17}{\magstep1}{OT1}
1606
1857
\let\titlebf=\titlerm
1607
\setfont\titlesc\scbshape{10}{\magstep4}
1858
\setfont\titlesc\scbshape{10}{\magstep4}{OT1}
1608
1859
\font\titlei=cmmi12 scaled \magstep3
1609
1860
\font\titlesy=cmsy10 scaled \magstep4
1610
\def\authorrm{\secrm}
1611
\def\authortt{\sectt}
1861
\def\titleecsize{2074}
1613
1863
% Chapter (and unnumbered) fonts (17.28pt).
1614
1864
\def\chapnominalsize{17pt}
1615
\setfont\chaprm\rmbshape{12}{\magstep2}
1616
\setfont\chapit\itbshape{10}{\magstep3}
1617
\setfont\chapsl\slbshape{10}{\magstep3}
1618
\setfont\chaptt\ttbshape{12}{\magstep2}
1619
\setfont\chapttsl\ttslshape{10}{\magstep3}
1620
\setfont\chapsf\sfbshape{17}{1000}
1865
\setfont\chaprm\rmbshape{12}{\magstep2}{OT1}
1866
\setfont\chapit\itbshape{10}{\magstep3}{OT1IT}
1867
\setfont\chapsl\slbshape{10}{\magstep3}{OT1}
1868
\setfont\chaptt\ttbshape{12}{\magstep2}{OT1TT}
1869
\setfont\chapttsl\ttslshape{10}{\magstep3}{OT1TT}
1870
\setfont\chapsf\sfbshape{17}{1000}{OT1}
1621
1871
\let\chapbf=\chaprm
1622
\setfont\chapsc\scbshape{10}{\magstep3}
1872
\setfont\chapsc\scbshape{10}{\magstep3}{OT1}
1623
1873
\font\chapi=cmmi12 scaled \magstep2
1624
1874
\font\chapsy=cmsy10 scaled \magstep3
1875
\def\chapecsize{1728}
1626
1877
% Section fonts (14.4pt).
1627
1878
\def\secnominalsize{14pt}
1628
\setfont\secrm\rmbshape{12}{\magstep1}
1629
\setfont\secit\itbshape{10}{\magstep2}
1630
\setfont\secsl\slbshape{10}{\magstep2}
1631
\setfont\sectt\ttbshape{12}{\magstep1}
1632
\setfont\secttsl\ttslshape{10}{\magstep2}
1633
\setfont\secsf\sfbshape{12}{\magstep1}
1879
\setfont\secrm\rmbshape{12}{\magstep1}{OT1}
1880
\setfont\secit\itbshape{10}{\magstep2}{OT1IT}
1881
\setfont\secsl\slbshape{10}{\magstep2}{OT1}
1882
\setfont\sectt\ttbshape{12}{\magstep1}{OT1TT}
1883
\setfont\secttsl\ttslshape{10}{\magstep2}{OT1TT}
1884
\setfont\secsf\sfbshape{12}{\magstep1}{OT1}
1634
1885
\let\secbf\secrm
1635
\setfont\secsc\scbshape{10}{\magstep2}
1886
\setfont\secsc\scbshape{10}{\magstep2}{OT1}
1636
1887
\font\seci=cmmi12 scaled \magstep1
1637
1888
\font\secsy=cmsy10 scaled \magstep2
1889
\def\sececsize{1440}
1639
1891
% Subsection fonts (13.15pt).
1640
1892
\def\ssecnominalsize{13pt}
1641
\setfont\ssecrm\rmbshape{12}{\magstephalf}
1642
\setfont\ssecit\itbshape{10}{1315}
1643
\setfont\ssecsl\slbshape{10}{1315}
1644
\setfont\ssectt\ttbshape{12}{\magstephalf}
1645
\setfont\ssecttsl\ttslshape{10}{1315}
1646
\setfont\ssecsf\sfbshape{12}{\magstephalf}
1893
\setfont\ssecrm\rmbshape{12}{\magstephalf}{OT1}
1894
\setfont\ssecit\itbshape{10}{1315}{OT1IT}
1895
\setfont\ssecsl\slbshape{10}{1315}{OT1}
1896
\setfont\ssectt\ttbshape{12}{\magstephalf}{OT1TT}
1897
\setfont\ssecttsl\ttslshape{10}{1315}{OT1TT}
1898
\setfont\ssecsf\sfbshape{12}{\magstephalf}{OT1}
1647
1899
\let\ssecbf\ssecrm
1648
\setfont\ssecsc\scbshape{10}{1315}
1900
\setfont\ssecsc\scbshape{10}{1315}{OT1}
1649
1901
\font\sseci=cmmi12 scaled \magstephalf
1650
1902
\font\ssecsy=cmsy10 scaled 1315
1903
\def\ssececsize{1200}
1652
1905
% Reduced fonts for @acro in text (10pt).
1653
1906
\def\reducednominalsize{10pt}
1654
\setfont\reducedrm\rmshape{10}{1000}
1655
\setfont\reducedtt\ttshape{10}{1000}
1656
\setfont\reducedbf\bfshape{10}{1000}
1657
\setfont\reducedit\itshape{10}{1000}
1658
\setfont\reducedsl\slshape{10}{1000}
1659
\setfont\reducedsf\sfshape{10}{1000}
1660
\setfont\reducedsc\scshape{10}{1000}
1661
\setfont\reducedttsl\ttslshape{10}{1000}
1907
\setfont\reducedrm\rmshape{10}{1000}{OT1}
1908
\setfont\reducedtt\ttshape{10}{1000}{OT1TT}
1909
\setfont\reducedbf\bfshape{10}{1000}{OT1}
1910
\setfont\reducedit\itshape{10}{1000}{OT1IT}
1911
\setfont\reducedsl\slshape{10}{1000}{OT1}
1912
\setfont\reducedsf\sfshape{10}{1000}{OT1}
1913
\setfont\reducedsc\scshape{10}{1000}{OT1}
1914
\setfont\reducedttsl\ttslshape{10}{1000}{OT1TT}
1662
1915
\font\reducedi=cmmi10
1663
1916
\font\reducedsy=cmsy10
1917
\def\reducedecsize{1000}
1665
% reset the current fonts
1919
\textleading = 13.2pt % line spacing for 11pt CM
1920
\textfonts % reset the current fonts
1668
1922
} % end of 11pt text font size definitions
1672
1926
% section, chapter, etc., sizes following suit. This is for the GNU
1673
1927
% Press printing of the Emacs 22 manual. Maybe other manuals in the
1674
1928
% future. Used with @smallbook, which sets the leading to 12pt.
1676
1930
\def\definetextfontsizex{%
1677
1931
% Text fonts (10pt).
1678
1932
\def\textnominalsize{10pt}
1679
1933
\edef\mainmagstep{1000}
1680
\setfont\textrm\rmshape{10}{\mainmagstep}
1681
\setfont\texttt\ttshape{10}{\mainmagstep}
1682
\setfont\textbf\bfshape{10}{\mainmagstep}
1683
\setfont\textit\itshape{10}{\mainmagstep}
1684
\setfont\textsl\slshape{10}{\mainmagstep}
1685
\setfont\textsf\sfshape{10}{\mainmagstep}
1686
\setfont\textsc\scshape{10}{\mainmagstep}
1687
\setfont\textttsl\ttslshape{10}{\mainmagstep}
1934
\setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
1935
\setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
1936
\setfont\textbf\bfshape{10}{\mainmagstep}{OT1}
1937
\setfont\textit\itshape{10}{\mainmagstep}{OT1IT}
1938
\setfont\textsl\slshape{10}{\mainmagstep}{OT1}
1939
\setfont\textsf\sfshape{10}{\mainmagstep}{OT1}
1940
\setfont\textsc\scshape{10}{\mainmagstep}{OT1}
1941
\setfont\textttsl\ttslshape{10}{\mainmagstep}{OT1TT}
1688
1942
\font\texti=cmmi10 scaled \mainmagstep
1689
1943
\font\textsy=cmsy10 scaled \mainmagstep
1944
\def\textecsize{1000}
1691
1946
% A few fonts for @defun names and args.
1692
\setfont\defbf\bfshape{10}{\magstephalf}
1693
\setfont\deftt\ttshape{10}{\magstephalf}
1694
\setfont\defttsl\ttslshape{10}{\magstephalf}
1947
\setfont\defbf\bfshape{10}{\magstephalf}{OT1}
1948
\setfont\deftt\ttshape{10}{\magstephalf}{OT1TT}
1949
\setfont\defttsl\ttslshape{10}{\magstephalf}{OT1TT}
1695
1950
\def\df{\let\tentt=\deftt \let\tenbf = \defbf \let\tenttsl=\defttsl \bf}
1697
1952
% Fonts for indices, footnotes, small examples (9pt).
1698
1953
\def\smallnominalsize{9pt}
1699
\setfont\smallrm\rmshape{9}{1000}
1700
\setfont\smalltt\ttshape{9}{1000}
1701
\setfont\smallbf\bfshape{10}{900}
1702
\setfont\smallit\itshape{9}{1000}
1703
\setfont\smallsl\slshape{9}{1000}
1704
\setfont\smallsf\sfshape{9}{1000}
1705
\setfont\smallsc\scshape{10}{900}
1706
\setfont\smallttsl\ttslshape{10}{900}
1954
\setfont\smallrm\rmshape{9}{1000}{OT1}
1955
\setfont\smalltt\ttshape{9}{1000}{OT1TT}
1956
\setfont\smallbf\bfshape{10}{900}{OT1}
1957
\setfont\smallit\itshape{9}{1000}{OT1IT}
1958
\setfont\smallsl\slshape{9}{1000}{OT1}
1959
\setfont\smallsf\sfshape{9}{1000}{OT1}
1960
\setfont\smallsc\scshape{10}{900}{OT1}
1961
\setfont\smallttsl\ttslshape{10}{900}{OT1TT}
1707
1962
\font\smalli=cmmi9
1708
1963
\font\smallsy=cmsy9
1964
\def\smallecsize{0900}
1710
1966
% Fonts for small examples (8pt).
1711
1967
\def\smallernominalsize{8pt}
1712
\setfont\smallerrm\rmshape{8}{1000}
1713
\setfont\smallertt\ttshape{8}{1000}
1714
\setfont\smallerbf\bfshape{10}{800}
1715
\setfont\smallerit\itshape{8}{1000}
1716
\setfont\smallersl\slshape{8}{1000}
1717
\setfont\smallersf\sfshape{8}{1000}
1718
\setfont\smallersc\scshape{10}{800}
1719
\setfont\smallerttsl\ttslshape{10}{800}
1968
\setfont\smallerrm\rmshape{8}{1000}{OT1}
1969
\setfont\smallertt\ttshape{8}{1000}{OT1TT}
1970
\setfont\smallerbf\bfshape{10}{800}{OT1}
1971
\setfont\smallerit\itshape{8}{1000}{OT1IT}
1972
\setfont\smallersl\slshape{8}{1000}{OT1}
1973
\setfont\smallersf\sfshape{8}{1000}{OT1}
1974
\setfont\smallersc\scshape{10}{800}{OT1}
1975
\setfont\smallerttsl\ttslshape{10}{800}{OT1TT}
1720
1976
\font\smalleri=cmmi8
1721
1977
\font\smallersy=cmsy8
1978
\def\smallerecsize{0800}
1723
1980
% Fonts for title page (20.4pt):
1724
1981
\def\titlenominalsize{20pt}
1725
\setfont\titlerm\rmbshape{12}{\magstep3}
1726
\setfont\titleit\itbshape{10}{\magstep4}
1727
\setfont\titlesl\slbshape{10}{\magstep4}
1728
\setfont\titlett\ttbshape{12}{\magstep3}
1729
\setfont\titlettsl\ttslshape{10}{\magstep4}
1730
\setfont\titlesf\sfbshape{17}{\magstep1}
1982
\setfont\titlerm\rmbshape{12}{\magstep3}{OT1}
1983
\setfont\titleit\itbshape{10}{\magstep4}{OT1IT}
1984
\setfont\titlesl\slbshape{10}{\magstep4}{OT1}
1985
\setfont\titlett\ttbshape{12}{\magstep3}{OT1TT}
1986
\setfont\titlettsl\ttslshape{10}{\magstep4}{OT1TT}
1987
\setfont\titlesf\sfbshape{17}{\magstep1}{OT1}
1731
1988
\let\titlebf=\titlerm
1732
\setfont\titlesc\scbshape{10}{\magstep4}
1989
\setfont\titlesc\scbshape{10}{\magstep4}{OT1}
1733
1990
\font\titlei=cmmi12 scaled \magstep3
1734
1991
\font\titlesy=cmsy10 scaled \magstep4
1735
\def\authorrm{\secrm}
1736
\def\authortt{\sectt}
1992
\def\titleecsize{2074}
1738
1994
% Chapter fonts (14.4pt).
1739
1995
\def\chapnominalsize{14pt}
1740
\setfont\chaprm\rmbshape{12}{\magstep1}
1741
\setfont\chapit\itbshape{10}{\magstep2}
1742
\setfont\chapsl\slbshape{10}{\magstep2}
1743
\setfont\chaptt\ttbshape{12}{\magstep1}
1744
\setfont\chapttsl\ttslshape{10}{\magstep2}
1745
\setfont\chapsf\sfbshape{12}{\magstep1}
1996
\setfont\chaprm\rmbshape{12}{\magstep1}{OT1}
1997
\setfont\chapit\itbshape{10}{\magstep2}{OT1IT}
1998
\setfont\chapsl\slbshape{10}{\magstep2}{OT1}
1999
\setfont\chaptt\ttbshape{12}{\magstep1}{OT1TT}
2000
\setfont\chapttsl\ttslshape{10}{\magstep2}{OT1TT}
2001
\setfont\chapsf\sfbshape{12}{\magstep1}{OT1}
1746
2002
\let\chapbf\chaprm
1747
\setfont\chapsc\scbshape{10}{\magstep2}
2003
\setfont\chapsc\scbshape{10}{\magstep2}{OT1}
1748
2004
\font\chapi=cmmi12 scaled \magstep1
1749
2005
\font\chapsy=cmsy10 scaled \magstep2
2006
\def\chapecsize{1440}
1751
2008
% Section fonts (12pt).
1752
2009
\def\secnominalsize{12pt}
1753
\setfont\secrm\rmbshape{12}{1000}
1754
\setfont\secit\itbshape{10}{\magstep1}
1755
\setfont\secsl\slbshape{10}{\magstep1}
1756
\setfont\sectt\ttbshape{12}{1000}
1757
\setfont\secttsl\ttslshape{10}{\magstep1}
1758
\setfont\secsf\sfbshape{12}{1000}
2010
\setfont\secrm\rmbshape{12}{1000}{OT1}
2011
\setfont\secit\itbshape{10}{\magstep1}{OT1IT}
2012
\setfont\secsl\slbshape{10}{\magstep1}{OT1}
2013
\setfont\sectt\ttbshape{12}{1000}{OT1TT}
2014
\setfont\secttsl\ttslshape{10}{\magstep1}{OT1TT}
2015
\setfont\secsf\sfbshape{12}{1000}{OT1}
1759
2016
\let\secbf\secrm
1760
\setfont\secsc\scbshape{10}{\magstep1}
2017
\setfont\secsc\scbshape{10}{\magstep1}{OT1}
1762
2019
\font\secsy=cmsy10 scaled \magstep1
2020
\def\sececsize{1200}
1764
2022
% Subsection fonts (10pt).
1765
2023
\def\ssecnominalsize{10pt}
1766
\setfont\ssecrm\rmbshape{10}{1000}
1767
\setfont\ssecit\itbshape{10}{1000}
1768
\setfont\ssecsl\slbshape{10}{1000}
1769
\setfont\ssectt\ttbshape{10}{1000}
1770
\setfont\ssecttsl\ttslshape{10}{1000}
1771
\setfont\ssecsf\sfbshape{10}{1000}
2024
\setfont\ssecrm\rmbshape{10}{1000}{OT1}
2025
\setfont\ssecit\itbshape{10}{1000}{OT1IT}
2026
\setfont\ssecsl\slbshape{10}{1000}{OT1}
2027
\setfont\ssectt\ttbshape{10}{1000}{OT1TT}
2028
\setfont\ssecttsl\ttslshape{10}{1000}{OT1TT}
2029
\setfont\ssecsf\sfbshape{10}{1000}{OT1}
1772
2030
\let\ssecbf\ssecrm
1773
\setfont\ssecsc\scbshape{10}{1000}
2031
\setfont\ssecsc\scbshape{10}{1000}{OT1}
1774
2032
\font\sseci=cmmi10
1775
2033
\font\ssecsy=cmsy10
2034
\def\ssececsize{1000}
1777
2036
% Reduced fonts for @acro in text (9pt).
1778
2037
\def\reducednominalsize{9pt}
1779
\setfont\reducedrm\rmshape{9}{1000}
1780
\setfont\reducedtt\ttshape{9}{1000}
1781
\setfont\reducedbf\bfshape{10}{900}
1782
\setfont\reducedit\itshape{9}{1000}
1783
\setfont\reducedsl\slshape{9}{1000}
1784
\setfont\reducedsf\sfshape{9}{1000}
1785
\setfont\reducedsc\scshape{10}{900}
1786
\setfont\reducedttsl\ttslshape{10}{900}
2038
\setfont\reducedrm\rmshape{9}{1000}{OT1}
2039
\setfont\reducedtt\ttshape{9}{1000}{OT1TT}
2040
\setfont\reducedbf\bfshape{10}{900}{OT1}
2041
\setfont\reducedit\itshape{9}{1000}{OT1IT}
2042
\setfont\reducedsl\slshape{9}{1000}{OT1}
2043
\setfont\reducedsf\sfshape{9}{1000}{OT1}
2044
\setfont\reducedsc\scshape{10}{900}{OT1}
2045
\setfont\reducedttsl\ttslshape{10}{900}{OT1TT}
1787
2046
\font\reducedi=cmmi9
1788
2047
\font\reducedsy=cmsy9
1790
% reduce space between paragraphs
1791
\divide\parskip by 2
1793
% reset the current fonts
2048
\def\reducedecsize{0900}
2050
\divide\parskip by 2 % reduce space between paragraphs
2051
\textleading = 12pt % line spacing for 10pt CM
2052
\textfonts % reset the current fonts
1796
2054
} % end of 10pt text font size definitions
1925
2194
% By the way, for comparison, here's what fits with @example (10pt):
1926
2195
% 8.5x11=71 smallbook=60 a4=75 a5=58
1928
% I wish the USA used A4 paper.
1929
2196
% --karl, 24jan03.
1932
2198
% Set up the default fonts, so we can use them for creating boxes.
1934
2200
\definetextfontsizexi
1936
% Define these so they can be easily changed for other fonts.
1937
\def\angleleft{$\langle$}
1938
\def\angleright{$\rangle$}
2205
% Check if we are currently using a typewriter font. Since all the
2206
% Computer Modern typewriter fonts have zero interword stretch (and
2207
% shrink), and it is reasonable to expect all typewriter fonts to have
2208
% this property, we can check that font parameter.
2210
\def\ifmonospace{\ifdim\fontdimen3\font=0pt }
2212
% Markup style infrastructure. \defmarkupstylesetup\INITMACRO will
2213
% define and register \INITMACRO to be called on markup style changes.
2214
% \INITMACRO can check \currentmarkupstyle for the innermost
2215
% style and the set of \ifmarkupSTYLE switches for all styles
2216
% currently in effect.
2220
%\newif\ifmarkupfile % @file == @samp.
2221
%\newif\ifmarkupoption % @option == @samp.
2224
%\newif\ifmarkupenv % @env == @code.
2225
%\newif\ifmarkupcommand % @command == @code.
2226
\newif\ifmarkuptex % @tex (and part of @math, for now).
2227
\newif\ifmarkupexample
2229
\newif\ifmarkupverbatim
2231
\let\currentmarkupstyle\empty
2233
\def\setupmarkupstyle#1{%
2234
\csname markup#1true\endcsname
2235
\def\currentmarkupstyle{#1}%
2239
\let\markupstylesetup\empty
2241
\def\defmarkupstylesetup#1{%
2242
\expandafter\def\expandafter\markupstylesetup
2243
\expandafter{\markupstylesetup #1}%
2247
% Markup style setup for left and right quotes.
2248
\defmarkupstylesetup\markupsetuplq{%
2249
\expandafter\let\expandafter \temp
2250
\csname markupsetuplq\currentmarkupstyle\endcsname
2251
\ifx\temp\relax \markupsetuplqdefault \else \temp \fi
2254
\defmarkupstylesetup\markupsetuprq{%
2255
\expandafter\let\expandafter \temp
2256
\csname markupsetuprq\currentmarkupstyle\endcsname
2257
\ifx\temp\relax \markupsetuprqdefault \else \temp \fi
2264
\gdef\markupsetuplqdefault{\let`\lq}
2265
\gdef\markupsetuprqdefault{\let'\rq}
2267
\gdef\markupsetcodequoteleft{\let`\codequoteleft}
2268
\gdef\markupsetcodequoteright{\let'\codequoteright}
2270
\gdef\markupsetnoligaturesquoteleft{\let`\noligaturesquoteleft}
2273
\let\markupsetuplqcode \markupsetcodequoteleft
2274
\let\markupsetuprqcode \markupsetcodequoteright
2276
\let\markupsetuplqexample \markupsetcodequoteleft
2277
\let\markupsetuprqexample \markupsetcodequoteright
2279
\let\markupsetuplqsamp \markupsetcodequoteleft
2280
\let\markupsetuprqsamp \markupsetcodequoteright
2282
\let\markupsetuplqverb \markupsetcodequoteleft
2283
\let\markupsetuprqverb \markupsetcodequoteright
2285
\let\markupsetuplqverbatim \markupsetcodequoteleft
2286
\let\markupsetuprqverbatim \markupsetcodequoteright
2288
\let\markupsetuplqkbd \markupsetnoligaturesquoteleft
2290
% Allow an option to not use regular directed right quote/apostrophe
2291
% (char 0x27), but instead the undirected quote from cmtt (char 0x0d).
2292
% The undirected quote is ugly, so don't make it the default, but it
2293
% works for pasting with more pdf viewers (at least evince), the
2294
% lilypond developers report. xpdf does work with the regular 0x27.
2296
\def\codequoteright{%
2297
\expandafter\ifx\csname SETtxicodequoteundirected\endcsname\relax
2298
\expandafter\ifx\csname SETcodequoteundirected\endcsname\relax
2304
% and a similar option for the left quote char vs. a grave accent.
2305
% Modern fonts display ASCII 0x60 as a grave accent, so some people like
2306
% the code environments to do likewise.
2308
\def\codequoteleft{%
2309
\expandafter\ifx\csname SETtxicodequotebacktick\endcsname\relax
2310
\expandafter\ifx\csname SETcodequotebacktick\endcsname\relax
2311
% [Knuth] pp. 380,381,391
2312
% \relax disables Spanish ligatures ?` and !` of \tt font.
2318
% Commands to set the quote options.
2320
\parseargdef\codequoteundirected{%
2323
\expandafter\let\csname SETtxicodequoteundirected\endcsname
2325
\else\ifx\temp\offword
2326
\expandafter\let\csname SETtxicodequoteundirected\endcsname
2329
\errhelp = \EMsimple
2330
\errmessage{Unknown @codequoteundirected value `\temp', must be on|off}%
2334
\parseargdef\codequotebacktick{%
2337
\expandafter\let\csname SETtxicodequotebacktick\endcsname
2339
\else\ifx\temp\offword
2340
\expandafter\let\csname SETtxicodequotebacktick\endcsname
2343
\errhelp = \EMsimple
2344
\errmessage{Unknown @codequotebacktick value `\temp', must be on|off}%
2348
% [Knuth] pp. 380,381,391, disable Spanish ligatures ?` and !` of \tt font.
2349
\def\noligaturesquoteleft{\relax\lq}
1940
2351
% Count depth in font-changes, for error checks
1941
2352
\newcount\fontdepth \fontdepth=0
1943
% Fonts for short table of contents.
1944
\setfont\shortcontrm\rmshape{12}{1000}
1945
\setfont\shortcontbf\bfshape{10}{\magstep1} % no cmb12
1946
\setfont\shortcontsl\slshape{12}{1000}
1947
\setfont\shortconttt\ttshape{12}{1000}
1949
%% Add scribe-like font environments, plus @l for inline lisp (usually sans
1950
%% serif) and @ii for TeX italic
1952
% \smartitalic{ARG} outputs arg in italics, followed by an italic correction
1953
% unless the following character is such as not to need one.
1954
\def\smartitalicx{\ifx\next,\else\ifx\next-\else\ifx\next.\else
1955
\ptexslash\fi\fi\fi}
1956
\def\smartslanted#1{{\ifusingtt\ttsl\sl #1}\futurelet\next\smartitalicx}
1957
\def\smartitalic#1{{\ifusingtt\ttsl\it #1}\futurelet\next\smartitalicx}
1959
% like \smartslanted except unconditionally uses \ttsl.
2356
% #1 is the font command (\sl or \it), #2 is the text to slant.
2357
% If we are in a monospaced environment, however, 1) always use \ttsl,
2358
% and 2) do not add an italic correction.
2359
\def\dosmartslant#1#2{%
2361
{{\ttsl #2}\let\next=\relax}%
2362
{\def\next{{#1#2}\futurelet\next\smartitaliccorrection}}%
2365
\def\smartslanted{\dosmartslant\sl}
2366
\def\smartitalic{\dosmartslant\it}
2368
% Output an italic correction unless \next (presumed to be the following
2369
% character) is such as not to need one.
2370
\def\smartitaliccorrection{%
2377
% like \smartslanted except unconditionally uses \ttsl, and no ic.
1960
2378
% @var is set to this for defun arguments.
1961
\def\ttslanted#1{{\ttsl #1}\futurelet\next\smartitalicx}
2379
\def\ttslanted#1{{\ttsl #1}}
1963
% like \smartslanted except unconditionally use \sl. We never want
2381
% @cite is like \smartslanted except unconditionally use \sl. We never want
1964
2382
% ttsl for book titles, do we?
1965
\def\cite#1{{\sl #1}\futurelet\next\smartitalicx}
2383
\def\cite#1{{\sl #1}\futurelet\next\smartitaliccorrection}
1967
2385
\let\i=\smartitalic
1968
2386
\let\slanted=\smartslanted
1969
\let\var=\smartslanted
2387
\def\var#1{\smartslanted{#1}}
1970
2388
\let\dfn=\smartslanted
1971
2389
\let\emph=\smartitalic
1973
% @b, explicit bold.
2391
% Explicit font changes: @r, @sc, undocumented @ii.
2392
\def\r#1{{\rm #1}} % roman font
2393
\def\sc#1{{\smallcaps#1}} % smallcaps font
2394
\def\ii#1{{\it #1}} % italic font
2396
% @b, explicit bold. Also @strong.
1974
2397
\def\b#1{{\bf #1}}
2779
% @asis just yields its argument. Used with @table, for example.
2783
% @math outputs its argument in math mode.
2785
% One complication: _ usually means subscripts, but it could also mean
2786
% an actual _ character, as in @math{@var{some_variable} + 1}. So make
2787
% _ active, and distinguish by seeing if the current family is \slfam,
2788
% which is what @var uses.
2790
\catcode`\_ = \active
2791
\gdef\mathunderscore{%
2793
\def_{\ifnum\fam=\slfam \_\else\sb\fi}%
2796
% Another complication: we want \\ (and @\) to output a math (or tt) \.
2797
% FYI, plain.tex uses \\ as a temporary control sequence (for no
2798
% particular reason), but this is not advertised and we don't care.
2800
% The \mathchar is class=0=ordinary, family=7=ttfam, position=5C=\.
2801
\def\mathbackslash{\ifnum\fam=\ttfam \mathchar"075C \else\backslash \fi}
2806
\let\\ = \mathbackslash
2808
% make the texinfo accent commands work in math mode
2820
\def\finishmath#1{#1$\endgroup} % Close the group opened by \tex.
2822
% Some active characters (such as <) are spaced differently in math.
2823
% We have to reset their definitions in case the @math was an argument
2824
% to a command which sets the catcodes (such as @item or @section).
2827
\catcode`^ = \active
2828
\catcode`< = \active
2829
\catcode`> = \active
2830
\catcode`+ = \active
2831
\catcode`' = \active
2837
\let' = \ptexquoteright
2848
% Used to generate quoted braces. Unless we're in typewriter, use
2849
% \ecfont because the CM text fonts do not have braces, and we don't
2850
% want to switch into math.
2851
\def\mylbrace{{\ifmonospace\else\ecfont\fi \char123}}
2852
\def\myrbrace{{\ifmonospace\else\ecfont\fi \char125}}
2856
% Definitions to produce \{ and \} commands for indices,
2857
% and @{ and @} for the aux/toc files.
2858
\catcode`\{ = \other \catcode`\} = \other
2859
\catcode`\[ = 1 \catcode`\] = 2
2860
\catcode`\! = 0 \catcode`\\ = \other
2861
!gdef!lbracecmd[\{]%
2862
!gdef!rbracecmd[\}]%
2863
!gdef!lbraceatcmd[@{]%
2864
!gdef!rbraceatcmd[@}]%
2867
% @comma{} to avoid , parsing problems.
2870
% Accents: @, @dotaccent @ringaccent @ubaraccent @udotaccent
2871
% Others are defined by plain TeX: @` @' @" @^ @~ @= @u @v @H.
2873
\let\dotaccent = \ptexdot
2874
\def\ringaccent#1{{\accent23 #1}}
2875
\let\tieaccent = \ptext
2876
\let\ubaraccent = \ptexb
2877
\let\udotaccent = \d
2879
% Other special characters: @questiondown @exclamdown @ordf @ordm
2880
% Plain TeX defines: @AA @AE @O @OE @L (plus lowercase versions) @ss.
2881
\def\questiondown{?`}
2883
\def\ordf{\leavevmode\raise1ex\hbox{\selectfonts\lllsize \underbar{a}}}
2884
\def\ordm{\leavevmode\raise1ex\hbox{\selectfonts\lllsize \underbar{o}}}
2886
% Dotless i and dotless j, used for accents.
2891
\ifx\temp\imacro \ifmmode\imath \else\ptexi \fi
2892
\else\ifx\temp\jmacro \ifmmode\jmath \else\j \fi
2893
\else \errmessage{@dotless can be used only with i or j}%
2897
% The \TeX{} logo, as in plain, but resetting the spacing so that a
2898
% period following counts as ending a sentence. (Idea found in latex.)
2900
\edef\TeX{\TeX \spacefactor=1000 }
2902
% @LaTeX{} logo. Not quite the same results as the definition in
2903
% latex.ltx, since we use a different font for the raised A; it's most
2904
% convenient for us to use an explicitly smaller font, rather than using
2905
% the \scriptstyle font (since we don't reset \scriptstyle and
2906
% \scriptscriptstyle).
2911
\vbox to \ht0{\hbox{%
2912
\ifx\textnominalsize\xwordpt
2913
% for 10pt running text, \lllsize (8pt) is too small for the A in LaTeX.
2914
% Revert to plain's \scriptsize, which is 7pt.
2915
\count255=\the\fam $\fam\count255 \scriptstyle A$%
2917
% For 11pt, we can use our lllsize.
2918
\selectfonts\lllsize A%
2927
% Some math mode symbols.
2928
\def\bullet{$\ptexbullet$}
2929
\def\geq{\ifmmode \ge\else $\ge$\fi}
2930
\def\leq{\ifmmode \le\else $\le$\fi}
2931
\def\minus{\ifmmode -\else $-$\fi}
2933
% @dots{} outputs an ellipsis using the current font.
2934
% We do .5em per period so that it has the same spacing in the cm
2935
% typewriter fonts as three actual period characters; on the other hand,
2936
% in other typewriter fonts three periods are wider than 1.5em. So do
2937
% whichever is larger.
2941
\setbox0=\hbox{...}% get width of three periods
2948
\hskip 0pt plus.25fil
2949
.\hskip 0pt plus1fil
2950
.\hskip 0pt plus1fil
2951
.\hskip 0pt plus.5fil
2955
% @enddots{} is an end-of-sentence ellipsis.
2959
\spacefactor=\endofsentencespacefactor
2962
% @point{}, @result{}, @expansion{}, @print{}, @equiv{}.
2964
% Since these characters are used in examples, they should be an even number of
2965
% \tt widths. Each \tt character is 1en, so two makes it 1em.
2968
\def\arrow{\leavevmode\raise.05ex\hbox to 1em{\hfil$\rightarrow$\hfil}}
2969
\def\result{\leavevmode\raise.05ex\hbox to 1em{\hfil$\Rightarrow$\hfil}}
2970
\def\expansion{\leavevmode\hbox to 1em{\hfil$\mapsto$\hfil}}
2971
\def\print{\leavevmode\lower.1ex\hbox to 1em{\hfil$\dashv$\hfil}}
2972
\def\equiv{\leavevmode\hbox to 1em{\hfil$\ptexequiv$\hfil}}
2974
% The @error{} command.
2975
% Adapted from the TeXbook's \boxit.
2979
{\tentt \global\dimen0 = 3em}% Width of the box.
2980
\dimen2 = .55pt % Thickness of rules
2981
% The text. (`r' is open on the right, `e' somewhat less so on the left.)
2982
\setbox0 = \hbox{\kern-.75pt \reducedsf error\kern-1.5pt}
2984
\setbox\errorbox=\hbox to \dimen0{\hfil
2985
\hsize = \dimen0 \advance\hsize by -5.8pt % Space to left+right.
2986
\advance\hsize by -2\dimen2 % Rules.
2988
\hrule height\dimen2
2989
\hbox{\vrule width\dimen2 \kern3pt % Space to left of text.
2990
\vtop{\kern2.4pt \box0 \kern2.4pt}% Space above/below.
2991
\kern3pt\vrule width\dimen2}% Space to right.
2992
\hrule height\dimen2}
2995
\def\error{\leavevmode\lower.7ex\copy\errorbox}
2250
2997
% @pounds{} is a sterling sign, which Knuth put in the CM italic font.
2252
2999
\def\pounds{{\it\$}}
7068
8326
\message{localization,}
7071
% @documentlanguage is usually given very early, just after
7072
% @setfilename. If done too late, it may not override everything
7073
% properly. Single argument is the language abbreviation.
7074
% It would be nice if we could set up a hyphenation file here.
8328
% For single-language documents, @documentlanguage is usually given very
8329
% early, just after @documentencoding. Single argument is the language
8330
% (de) or locale (de_DE) abbreviation.
7076
\parseargdef\documentlanguage{%
8333
\catcode`\_ = \active
8335
\parseargdef\documentlanguage{\begingroup
8336
\let_=\normalunderscore % normal _ character for filenames
7077
8337
\tex % read txi-??.tex file in plain TeX.
7078
% Read the file if it exists.
8338
% Read the file by the name they passed if it exists.
7079
8339
\openin 1 txi-#1.tex
7081
\errhelp = \nolanghelp
7082
\errmessage{Cannot read language file txi-#1.tex}%
8341
\documentlanguagetrywithoutunderscore{#1_\finish}%
8343
\globaldefs = 1 % everything in the txi-LL files needs to persist
7084
8344
\input txi-#1.tex
8347
\endgroup % end raw TeX
8350
% If they passed de_DE, and txi-de_DE.tex doesn't exist,
8353
\gdef\documentlanguagetrywithoutunderscore#1_#2\finish{%
8354
\openin 1 txi-#1.tex
8356
\errhelp = \nolanghelp
8357
\errmessage{Cannot read language file txi-#1.tex}%
8359
\globaldefs = 1 % everything in the txi-LL files needs to persist
8364
}% end of special _ catcode
7089
8366
\newhelp\nolanghelp{The given language definition file cannot be found or
7090
is empty. Maybe you need to install it? In the current directory
7091
should work if nowhere else does.}
7094
% @documentencoding should change something in TeX eventually, most
7095
% likely, but for now just recognize it.
7096
\let\documentencoding = \comment
7099
% Page size parameters.
8367
is empty. Maybe you need to install it? Putting it in the current
8368
directory should work if nowhere else does.}
8370
% This macro is called from txi-??.tex files; the first argument is the
8371
% \language name to set (without the "\lang@" prefix), the second and
8372
% third args are \{left,right}hyphenmin.
8374
% The language names to pass are determined when the format is built.
8375
% See the etex.log file created at that time, e.g.,
8376
% /usr/local/texlive/2008/texmf-var/web2c/pdftex/etex.log.
8378
% With TeX Live 2008, etex now includes hyphenation patterns for all
8379
% available languages. This means we can support hyphenation in
8380
% Texinfo, at least to some extent. (This still doesn't solve the
8381
% accented characters problem.)
8384
\def\txisetlanguage#1#2#3{%
8385
% do not set the language if the name is undefined in the current TeX.
8386
\expandafter\ifx\csname lang@#1\endcsname \relax
8387
\message{no patterns for #1}%
8389
\global\language = \csname lang@#1\endcsname
8391
% but there is no harm in adjusting the hyphenmin values regardless.
8392
\global\lefthyphenmin = #2\relax
8393
\global\righthyphenmin = #3\relax
8396
% Helpers for encodings.
8397
% Set the catcode of characters 128 through 255 to the specified number.
8399
\def\setnonasciicharscatcode#1{%
8401
\loop\ifnum\count255<256
8402
\global\catcode\count255=#1\relax
8403
\advance\count255 by 1
8407
\def\setnonasciicharscatcodenonglobal#1{%
8409
\loop\ifnum\count255<256
8410
\catcode\count255=#1\relax
8411
\advance\count255 by 1
8415
% @documentencoding sets the definition of non-ASCII characters
8416
% according to the specified encoding.
8418
\parseargdef\documentencoding{%
8419
% Encoding being declared for the document.
8420
\def\declaredencoding{\csname #1.enc\endcsname}%
8422
% Supported encodings: names converted to tokens in order to be able
8423
% to compare them with \ifx.
8424
\def\ascii{\csname US-ASCII.enc\endcsname}%
8425
\def\latnine{\csname ISO-8859-15.enc\endcsname}%
8426
\def\latone{\csname ISO-8859-1.enc\endcsname}%
8427
\def\lattwo{\csname ISO-8859-2.enc\endcsname}%
8428
\def\utfeight{\csname UTF-8.enc\endcsname}%
8430
\ifx \declaredencoding \ascii
8433
\else \ifx \declaredencoding \lattwo
8434
\setnonasciicharscatcode\active
8437
\else \ifx \declaredencoding \latone
8438
\setnonasciicharscatcode\active
8441
\else \ifx \declaredencoding \latnine
8442
\setnonasciicharscatcode\active
8445
\else \ifx \declaredencoding \utfeight
8446
\setnonasciicharscatcode\active
8450
\message{Unknown document encoding #1, ignoring.}%
8459
% A message to be logged when using a character that isn't available
8460
% the default font encoding (OT1).
8462
\def\missingcharmsg#1{\message{Character missing in OT1 encoding: #1.}}
8464
% Take account of \c (plain) vs. \, (Texinfo) difference.
8465
\def\cedilla#1{\ifx\c\ptexc\c{#1}\else\,{#1}\fi}
8467
% First, make active non-ASCII characters in order for them to be
8468
% correctly categorized when TeX reads the replacement text of
8469
% macros containing the character definitions.
8470
\setnonasciicharscatcode\active
8472
% Latin1 (ISO-8859-1) character definitions.
8473
\def\latonechardefs{%
8475
\gdef^^a1{\exclamdown}
8476
\gdef^^a2{\missingcharmsg{CENT SIGN}}
8477
\gdef^^a3{{\pounds}}
8478
\gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
8479
\gdef^^a5{\missingcharmsg{YEN SIGN}}
8480
\gdef^^a6{\missingcharmsg{BROKEN BAR}}
8483
\gdef^^a9{\copyright}
8485
\gdef^^ab{\guillemetleft}
8488
\gdef^^ae{\registeredsymbol}
8491
\gdef^^b0{\textdegree}
8500
\gdef^^b8{\cedilla\ }
8504
\gdef^^bb{\guillemetright}
8505
\gdef^^bc{$1\over4$}
8506
\gdef^^bd{$1\over2$}
8507
\gdef^^be{$3\over4$}
8508
\gdef^^bf{\questiondown}
8515
\gdef^^c5{\ringaccent A}
8517
\gdef^^c7{\cedilla C}
8549
\gdef^^e5{\ringaccent a}
8551
\gdef^^e7{\cedilla c}
8556
\gdef^^ec{\`{\dotless i}}
8557
\gdef^^ed{\'{\dotless i}}
8558
\gdef^^ee{\^{\dotless i}}
8559
\gdef^^ef{\"{\dotless i}}
8579
% Latin9 (ISO-8859-15) encoding character definitions.
8580
\def\latninechardefs{%
8581
% Encoding is almost identical to Latin1.
8594
% Latin2 (ISO-8859-2) character definitions.
8595
\def\lattwochardefs{%
8597
\gdef^^a1{\ogonek{A}}
8600
\gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
8606
\gdef^^aa{\cedilla S}
8611
\gdef^^af{\dotaccent Z}
8613
\gdef^^b0{\textdegree}
8614
\gdef^^b1{\ogonek{a}}
8615
\gdef^^b2{\ogonek{ }}
8621
\gdef^^b8{\cedilla\ }
8623
\gdef^^ba{\cedilla s}
8628
\gdef^^bf{\dotaccent z}
8637
\gdef^^c7{\cedilla C}
8640
\gdef^^ca{\ogonek{E}}
8656
\gdef^^d9{\ringaccent U}
8661
\gdef^^de{\cedilla T}
8671
\gdef^^e7{\cedilla c}
8674
\gdef^^ea{\ogonek{e}}
8677
\gdef^^ed{\'{\dotless{i}}}
8678
\gdef^^ee{\^{\dotless{i}}}
8690
\gdef^^f9{\ringaccent u}
8695
\gdef^^fe{\cedilla t}
8696
\gdef^^ff{\dotaccent{}}
8699
% UTF-8 character definitions.
8701
% This code to support UTF-8 is based on LaTeX's utf8.def, with some
8702
% changes for Texinfo conventions. It is included here under the GPL by
8703
% permission from Frank Mittelbach and the LaTeX team.
8709
\gdef\UTFviiiTwoOctets#1#2{\expandafter
8710
\UTFviiiDefined\csname u8:#1\string #2\endcsname}
8712
\gdef\UTFviiiThreeOctets#1#2#3{\expandafter
8713
\UTFviiiDefined\csname u8:#1\string #2\string #3\endcsname}
8715
\gdef\UTFviiiFourOctets#1#2#3#4{\expandafter
8716
\UTFviiiDefined\csname u8:#1\string #2\string #3\string #4\endcsname}
8718
\gdef\UTFviiiDefined#1{%
8720
\message{\linenumber Unicode char \string #1 not defined for Texinfo}%
8731
\global\catcode\countUTFx\active
8732
\uccode`\~\countUTFx
8733
\uppercase\expandafter{\UTFviiiTmp}%
8734
\advance\countUTFx by 1
8735
\ifnum\countUTFx < \countUTFy
8736
\expandafter\UTFviiiLoop
8742
\xdef~{\noexpand\UTFviiiTwoOctets\string~}}
8748
\xdef~{\noexpand\UTFviiiThreeOctets\string~}}
8754
\xdef~{\noexpand\UTFviiiFourOctets\string~}}
8767
\gdef\DeclareUnicodeCharacter#1#2{%
8768
\countUTFz = "#1\relax
8769
%\wlog{\space\space defining Unicode char U+#1 (decimal \the\countUTFz)}%
8772
\def\UTFviiiTwoOctets##1##2{%
8773
\csname u8:##1\string ##2\endcsname}%
8774
\def\UTFviiiThreeOctets##1##2##3{%
8775
\csname u8:##1\string ##2\string ##3\endcsname}%
8776
\def\UTFviiiFourOctets##1##2##3##4{%
8777
\csname u8:##1\string ##2\string ##3\string ##4\endcsname}%
8778
\expandafter\expandafter\expandafter\expandafter
8779
\expandafter\expandafter\expandafter
8780
\gdef\UTFviiiTmp{#2}%
8783
\gdef\parseXMLCharref{%
8784
\ifnum\countUTFz < "A0\relax
8785
\errhelp = \EMsimple
8786
\errmessage{Cannot define Unicode char value < 00A0}%
8787
\else\ifnum\countUTFz < "800\relax
8789
\parseUTFviiiB C\UTFviiiTwoOctets.,%
8790
\else\ifnum\countUTFz < "10000\relax
8793
\parseUTFviiiB E\UTFviiiThreeOctets.{,;}%
8798
\parseUTFviiiB F\UTFviiiFourOctets.{!,;}%
8802
\gdef\parseUTFviiiA#1{%
8803
\countUTFx = \countUTFz
8804
\divide\countUTFz by 64
8805
\countUTFy = \countUTFz
8806
\multiply\countUTFz by 64
8807
\advance\countUTFx by -\countUTFz
8808
\advance\countUTFx by 128
8809
\uccode `#1\countUTFx
8810
\countUTFz = \countUTFy}
8812
\gdef\parseUTFviiiB#1#2#3#4{%
8813
\advance\countUTFz by "#10\relax
8814
\uccode `#3\countUTFz
8815
\uppercase{\gdef\UTFviiiTmp{#2#3#4}}}
8818
\def\utfeightchardefs{%
8819
\DeclareUnicodeCharacter{00A0}{\tie}
8820
\DeclareUnicodeCharacter{00A1}{\exclamdown}
8821
\DeclareUnicodeCharacter{00A3}{\pounds}
8822
\DeclareUnicodeCharacter{00A8}{\"{ }}
8823
\DeclareUnicodeCharacter{00A9}{\copyright}
8824
\DeclareUnicodeCharacter{00AA}{\ordf}
8825
\DeclareUnicodeCharacter{00AB}{\guillemetleft}
8826
\DeclareUnicodeCharacter{00AD}{\-}
8827
\DeclareUnicodeCharacter{00AE}{\registeredsymbol}
8828
\DeclareUnicodeCharacter{00AF}{\={ }}
8830
\DeclareUnicodeCharacter{00B0}{\ringaccent{ }}
8831
\DeclareUnicodeCharacter{00B4}{\'{ }}
8832
\DeclareUnicodeCharacter{00B8}{\cedilla{ }}
8833
\DeclareUnicodeCharacter{00BA}{\ordm}
8834
\DeclareUnicodeCharacter{00BB}{\guillemetright}
8835
\DeclareUnicodeCharacter{00BF}{\questiondown}
8837
\DeclareUnicodeCharacter{00C0}{\`A}
8838
\DeclareUnicodeCharacter{00C1}{\'A}
8839
\DeclareUnicodeCharacter{00C2}{\^A}
8840
\DeclareUnicodeCharacter{00C3}{\~A}
8841
\DeclareUnicodeCharacter{00C4}{\"A}
8842
\DeclareUnicodeCharacter{00C5}{\AA}
8843
\DeclareUnicodeCharacter{00C6}{\AE}
8844
\DeclareUnicodeCharacter{00C7}{\cedilla{C}}
8845
\DeclareUnicodeCharacter{00C8}{\`E}
8846
\DeclareUnicodeCharacter{00C9}{\'E}
8847
\DeclareUnicodeCharacter{00CA}{\^E}
8848
\DeclareUnicodeCharacter{00CB}{\"E}
8849
\DeclareUnicodeCharacter{00CC}{\`I}
8850
\DeclareUnicodeCharacter{00CD}{\'I}
8851
\DeclareUnicodeCharacter{00CE}{\^I}
8852
\DeclareUnicodeCharacter{00CF}{\"I}
8854
\DeclareUnicodeCharacter{00D0}{\DH}
8855
\DeclareUnicodeCharacter{00D1}{\~N}
8856
\DeclareUnicodeCharacter{00D2}{\`O}
8857
\DeclareUnicodeCharacter{00D3}{\'O}
8858
\DeclareUnicodeCharacter{00D4}{\^O}
8859
\DeclareUnicodeCharacter{00D5}{\~O}
8860
\DeclareUnicodeCharacter{00D6}{\"O}
8861
\DeclareUnicodeCharacter{00D8}{\O}
8862
\DeclareUnicodeCharacter{00D9}{\`U}
8863
\DeclareUnicodeCharacter{00DA}{\'U}
8864
\DeclareUnicodeCharacter{00DB}{\^U}
8865
\DeclareUnicodeCharacter{00DC}{\"U}
8866
\DeclareUnicodeCharacter{00DD}{\'Y}
8867
\DeclareUnicodeCharacter{00DE}{\TH}
8868
\DeclareUnicodeCharacter{00DF}{\ss}
8870
\DeclareUnicodeCharacter{00E0}{\`a}
8871
\DeclareUnicodeCharacter{00E1}{\'a}
8872
\DeclareUnicodeCharacter{00E2}{\^a}
8873
\DeclareUnicodeCharacter{00E3}{\~a}
8874
\DeclareUnicodeCharacter{00E4}{\"a}
8875
\DeclareUnicodeCharacter{00E5}{\aa}
8876
\DeclareUnicodeCharacter{00E6}{\ae}
8877
\DeclareUnicodeCharacter{00E7}{\cedilla{c}}
8878
\DeclareUnicodeCharacter{00E8}{\`e}
8879
\DeclareUnicodeCharacter{00E9}{\'e}
8880
\DeclareUnicodeCharacter{00EA}{\^e}
8881
\DeclareUnicodeCharacter{00EB}{\"e}
8882
\DeclareUnicodeCharacter{00EC}{\`{\dotless{i}}}
8883
\DeclareUnicodeCharacter{00ED}{\'{\dotless{i}}}
8884
\DeclareUnicodeCharacter{00EE}{\^{\dotless{i}}}
8885
\DeclareUnicodeCharacter{00EF}{\"{\dotless{i}}}
8887
\DeclareUnicodeCharacter{00F0}{\dh}
8888
\DeclareUnicodeCharacter{00F1}{\~n}
8889
\DeclareUnicodeCharacter{00F2}{\`o}
8890
\DeclareUnicodeCharacter{00F3}{\'o}
8891
\DeclareUnicodeCharacter{00F4}{\^o}
8892
\DeclareUnicodeCharacter{00F5}{\~o}
8893
\DeclareUnicodeCharacter{00F6}{\"o}
8894
\DeclareUnicodeCharacter{00F8}{\o}
8895
\DeclareUnicodeCharacter{00F9}{\`u}
8896
\DeclareUnicodeCharacter{00FA}{\'u}
8897
\DeclareUnicodeCharacter{00FB}{\^u}
8898
\DeclareUnicodeCharacter{00FC}{\"u}
8899
\DeclareUnicodeCharacter{00FD}{\'y}
8900
\DeclareUnicodeCharacter{00FE}{\th}
8901
\DeclareUnicodeCharacter{00FF}{\"y}
8903
\DeclareUnicodeCharacter{0100}{\=A}
8904
\DeclareUnicodeCharacter{0101}{\=a}
8905
\DeclareUnicodeCharacter{0102}{\u{A}}
8906
\DeclareUnicodeCharacter{0103}{\u{a}}
8907
\DeclareUnicodeCharacter{0104}{\ogonek{A}}
8908
\DeclareUnicodeCharacter{0105}{\ogonek{a}}
8909
\DeclareUnicodeCharacter{0106}{\'C}
8910
\DeclareUnicodeCharacter{0107}{\'c}
8911
\DeclareUnicodeCharacter{0108}{\^C}
8912
\DeclareUnicodeCharacter{0109}{\^c}
8913
\DeclareUnicodeCharacter{0118}{\ogonek{E}}
8914
\DeclareUnicodeCharacter{0119}{\ogonek{e}}
8915
\DeclareUnicodeCharacter{010A}{\dotaccent{C}}
8916
\DeclareUnicodeCharacter{010B}{\dotaccent{c}}
8917
\DeclareUnicodeCharacter{010C}{\v{C}}
8918
\DeclareUnicodeCharacter{010D}{\v{c}}
8919
\DeclareUnicodeCharacter{010E}{\v{D}}
8921
\DeclareUnicodeCharacter{0112}{\=E}
8922
\DeclareUnicodeCharacter{0113}{\=e}
8923
\DeclareUnicodeCharacter{0114}{\u{E}}
8924
\DeclareUnicodeCharacter{0115}{\u{e}}
8925
\DeclareUnicodeCharacter{0116}{\dotaccent{E}}
8926
\DeclareUnicodeCharacter{0117}{\dotaccent{e}}
8927
\DeclareUnicodeCharacter{011A}{\v{E}}
8928
\DeclareUnicodeCharacter{011B}{\v{e}}
8929
\DeclareUnicodeCharacter{011C}{\^G}
8930
\DeclareUnicodeCharacter{011D}{\^g}
8931
\DeclareUnicodeCharacter{011E}{\u{G}}
8932
\DeclareUnicodeCharacter{011F}{\u{g}}
8934
\DeclareUnicodeCharacter{0120}{\dotaccent{G}}
8935
\DeclareUnicodeCharacter{0121}{\dotaccent{g}}
8936
\DeclareUnicodeCharacter{0124}{\^H}
8937
\DeclareUnicodeCharacter{0125}{\^h}
8938
\DeclareUnicodeCharacter{0128}{\~I}
8939
\DeclareUnicodeCharacter{0129}{\~{\dotless{i}}}
8940
\DeclareUnicodeCharacter{012A}{\=I}
8941
\DeclareUnicodeCharacter{012B}{\={\dotless{i}}}
8942
\DeclareUnicodeCharacter{012C}{\u{I}}
8943
\DeclareUnicodeCharacter{012D}{\u{\dotless{i}}}
8945
\DeclareUnicodeCharacter{0130}{\dotaccent{I}}
8946
\DeclareUnicodeCharacter{0131}{\dotless{i}}
8947
\DeclareUnicodeCharacter{0132}{IJ}
8948
\DeclareUnicodeCharacter{0133}{ij}
8949
\DeclareUnicodeCharacter{0134}{\^J}
8950
\DeclareUnicodeCharacter{0135}{\^{\dotless{j}}}
8951
\DeclareUnicodeCharacter{0139}{\'L}
8952
\DeclareUnicodeCharacter{013A}{\'l}
8954
\DeclareUnicodeCharacter{0141}{\L}
8955
\DeclareUnicodeCharacter{0142}{\l}
8956
\DeclareUnicodeCharacter{0143}{\'N}
8957
\DeclareUnicodeCharacter{0144}{\'n}
8958
\DeclareUnicodeCharacter{0147}{\v{N}}
8959
\DeclareUnicodeCharacter{0148}{\v{n}}
8960
\DeclareUnicodeCharacter{014C}{\=O}
8961
\DeclareUnicodeCharacter{014D}{\=o}
8962
\DeclareUnicodeCharacter{014E}{\u{O}}
8963
\DeclareUnicodeCharacter{014F}{\u{o}}
8965
\DeclareUnicodeCharacter{0150}{\H{O}}
8966
\DeclareUnicodeCharacter{0151}{\H{o}}
8967
\DeclareUnicodeCharacter{0152}{\OE}
8968
\DeclareUnicodeCharacter{0153}{\oe}
8969
\DeclareUnicodeCharacter{0154}{\'R}
8970
\DeclareUnicodeCharacter{0155}{\'r}
8971
\DeclareUnicodeCharacter{0158}{\v{R}}
8972
\DeclareUnicodeCharacter{0159}{\v{r}}
8973
\DeclareUnicodeCharacter{015A}{\'S}
8974
\DeclareUnicodeCharacter{015B}{\'s}
8975
\DeclareUnicodeCharacter{015C}{\^S}
8976
\DeclareUnicodeCharacter{015D}{\^s}
8977
\DeclareUnicodeCharacter{015E}{\cedilla{S}}
8978
\DeclareUnicodeCharacter{015F}{\cedilla{s}}
8980
\DeclareUnicodeCharacter{0160}{\v{S}}
8981
\DeclareUnicodeCharacter{0161}{\v{s}}
8982
\DeclareUnicodeCharacter{0162}{\cedilla{t}}
8983
\DeclareUnicodeCharacter{0163}{\cedilla{T}}
8984
\DeclareUnicodeCharacter{0164}{\v{T}}
8986
\DeclareUnicodeCharacter{0168}{\~U}
8987
\DeclareUnicodeCharacter{0169}{\~u}
8988
\DeclareUnicodeCharacter{016A}{\=U}
8989
\DeclareUnicodeCharacter{016B}{\=u}
8990
\DeclareUnicodeCharacter{016C}{\u{U}}
8991
\DeclareUnicodeCharacter{016D}{\u{u}}
8992
\DeclareUnicodeCharacter{016E}{\ringaccent{U}}
8993
\DeclareUnicodeCharacter{016F}{\ringaccent{u}}
8995
\DeclareUnicodeCharacter{0170}{\H{U}}
8996
\DeclareUnicodeCharacter{0171}{\H{u}}
8997
\DeclareUnicodeCharacter{0174}{\^W}
8998
\DeclareUnicodeCharacter{0175}{\^w}
8999
\DeclareUnicodeCharacter{0176}{\^Y}
9000
\DeclareUnicodeCharacter{0177}{\^y}
9001
\DeclareUnicodeCharacter{0178}{\"Y}
9002
\DeclareUnicodeCharacter{0179}{\'Z}
9003
\DeclareUnicodeCharacter{017A}{\'z}
9004
\DeclareUnicodeCharacter{017B}{\dotaccent{Z}}
9005
\DeclareUnicodeCharacter{017C}{\dotaccent{z}}
9006
\DeclareUnicodeCharacter{017D}{\v{Z}}
9007
\DeclareUnicodeCharacter{017E}{\v{z}}
9009
\DeclareUnicodeCharacter{01C4}{D\v{Z}}
9010
\DeclareUnicodeCharacter{01C5}{D\v{z}}
9011
\DeclareUnicodeCharacter{01C6}{d\v{z}}
9012
\DeclareUnicodeCharacter{01C7}{LJ}
9013
\DeclareUnicodeCharacter{01C8}{Lj}
9014
\DeclareUnicodeCharacter{01C9}{lj}
9015
\DeclareUnicodeCharacter{01CA}{NJ}
9016
\DeclareUnicodeCharacter{01CB}{Nj}
9017
\DeclareUnicodeCharacter{01CC}{nj}
9018
\DeclareUnicodeCharacter{01CD}{\v{A}}
9019
\DeclareUnicodeCharacter{01CE}{\v{a}}
9020
\DeclareUnicodeCharacter{01CF}{\v{I}}
9022
\DeclareUnicodeCharacter{01D0}{\v{\dotless{i}}}
9023
\DeclareUnicodeCharacter{01D1}{\v{O}}
9024
\DeclareUnicodeCharacter{01D2}{\v{o}}
9025
\DeclareUnicodeCharacter{01D3}{\v{U}}
9026
\DeclareUnicodeCharacter{01D4}{\v{u}}
9028
\DeclareUnicodeCharacter{01E2}{\={\AE}}
9029
\DeclareUnicodeCharacter{01E3}{\={\ae}}
9030
\DeclareUnicodeCharacter{01E6}{\v{G}}
9031
\DeclareUnicodeCharacter{01E7}{\v{g}}
9032
\DeclareUnicodeCharacter{01E8}{\v{K}}
9033
\DeclareUnicodeCharacter{01E9}{\v{k}}
9035
\DeclareUnicodeCharacter{01F0}{\v{\dotless{j}}}
9036
\DeclareUnicodeCharacter{01F1}{DZ}
9037
\DeclareUnicodeCharacter{01F2}{Dz}
9038
\DeclareUnicodeCharacter{01F3}{dz}
9039
\DeclareUnicodeCharacter{01F4}{\'G}
9040
\DeclareUnicodeCharacter{01F5}{\'g}
9041
\DeclareUnicodeCharacter{01F8}{\`N}
9042
\DeclareUnicodeCharacter{01F9}{\`n}
9043
\DeclareUnicodeCharacter{01FC}{\'{\AE}}
9044
\DeclareUnicodeCharacter{01FD}{\'{\ae}}
9045
\DeclareUnicodeCharacter{01FE}{\'{\O}}
9046
\DeclareUnicodeCharacter{01FF}{\'{\o}}
9048
\DeclareUnicodeCharacter{021E}{\v{H}}
9049
\DeclareUnicodeCharacter{021F}{\v{h}}
9051
\DeclareUnicodeCharacter{0226}{\dotaccent{A}}
9052
\DeclareUnicodeCharacter{0227}{\dotaccent{a}}
9053
\DeclareUnicodeCharacter{0228}{\cedilla{E}}
9054
\DeclareUnicodeCharacter{0229}{\cedilla{e}}
9055
\DeclareUnicodeCharacter{022E}{\dotaccent{O}}
9056
\DeclareUnicodeCharacter{022F}{\dotaccent{o}}
9058
\DeclareUnicodeCharacter{0232}{\=Y}
9059
\DeclareUnicodeCharacter{0233}{\=y}
9060
\DeclareUnicodeCharacter{0237}{\dotless{j}}
9062
\DeclareUnicodeCharacter{02DB}{\ogonek{ }}
9064
\DeclareUnicodeCharacter{1E02}{\dotaccent{B}}
9065
\DeclareUnicodeCharacter{1E03}{\dotaccent{b}}
9066
\DeclareUnicodeCharacter{1E04}{\udotaccent{B}}
9067
\DeclareUnicodeCharacter{1E05}{\udotaccent{b}}
9068
\DeclareUnicodeCharacter{1E06}{\ubaraccent{B}}
9069
\DeclareUnicodeCharacter{1E07}{\ubaraccent{b}}
9070
\DeclareUnicodeCharacter{1E0A}{\dotaccent{D}}
9071
\DeclareUnicodeCharacter{1E0B}{\dotaccent{d}}
9072
\DeclareUnicodeCharacter{1E0C}{\udotaccent{D}}
9073
\DeclareUnicodeCharacter{1E0D}{\udotaccent{d}}
9074
\DeclareUnicodeCharacter{1E0E}{\ubaraccent{D}}
9075
\DeclareUnicodeCharacter{1E0F}{\ubaraccent{d}}
9077
\DeclareUnicodeCharacter{1E1E}{\dotaccent{F}}
9078
\DeclareUnicodeCharacter{1E1F}{\dotaccent{f}}
9080
\DeclareUnicodeCharacter{1E20}{\=G}
9081
\DeclareUnicodeCharacter{1E21}{\=g}
9082
\DeclareUnicodeCharacter{1E22}{\dotaccent{H}}
9083
\DeclareUnicodeCharacter{1E23}{\dotaccent{h}}
9084
\DeclareUnicodeCharacter{1E24}{\udotaccent{H}}
9085
\DeclareUnicodeCharacter{1E25}{\udotaccent{h}}
9086
\DeclareUnicodeCharacter{1E26}{\"H}
9087
\DeclareUnicodeCharacter{1E27}{\"h}
9089
\DeclareUnicodeCharacter{1E30}{\'K}
9090
\DeclareUnicodeCharacter{1E31}{\'k}
9091
\DeclareUnicodeCharacter{1E32}{\udotaccent{K}}
9092
\DeclareUnicodeCharacter{1E33}{\udotaccent{k}}
9093
\DeclareUnicodeCharacter{1E34}{\ubaraccent{K}}
9094
\DeclareUnicodeCharacter{1E35}{\ubaraccent{k}}
9095
\DeclareUnicodeCharacter{1E36}{\udotaccent{L}}
9096
\DeclareUnicodeCharacter{1E37}{\udotaccent{l}}
9097
\DeclareUnicodeCharacter{1E3A}{\ubaraccent{L}}
9098
\DeclareUnicodeCharacter{1E3B}{\ubaraccent{l}}
9099
\DeclareUnicodeCharacter{1E3E}{\'M}
9100
\DeclareUnicodeCharacter{1E3F}{\'m}
9102
\DeclareUnicodeCharacter{1E40}{\dotaccent{M}}
9103
\DeclareUnicodeCharacter{1E41}{\dotaccent{m}}
9104
\DeclareUnicodeCharacter{1E42}{\udotaccent{M}}
9105
\DeclareUnicodeCharacter{1E43}{\udotaccent{m}}
9106
\DeclareUnicodeCharacter{1E44}{\dotaccent{N}}
9107
\DeclareUnicodeCharacter{1E45}{\dotaccent{n}}
9108
\DeclareUnicodeCharacter{1E46}{\udotaccent{N}}
9109
\DeclareUnicodeCharacter{1E47}{\udotaccent{n}}
9110
\DeclareUnicodeCharacter{1E48}{\ubaraccent{N}}
9111
\DeclareUnicodeCharacter{1E49}{\ubaraccent{n}}
9113
\DeclareUnicodeCharacter{1E54}{\'P}
9114
\DeclareUnicodeCharacter{1E55}{\'p}
9115
\DeclareUnicodeCharacter{1E56}{\dotaccent{P}}
9116
\DeclareUnicodeCharacter{1E57}{\dotaccent{p}}
9117
\DeclareUnicodeCharacter{1E58}{\dotaccent{R}}
9118
\DeclareUnicodeCharacter{1E59}{\dotaccent{r}}
9119
\DeclareUnicodeCharacter{1E5A}{\udotaccent{R}}
9120
\DeclareUnicodeCharacter{1E5B}{\udotaccent{r}}
9121
\DeclareUnicodeCharacter{1E5E}{\ubaraccent{R}}
9122
\DeclareUnicodeCharacter{1E5F}{\ubaraccent{r}}
9124
\DeclareUnicodeCharacter{1E60}{\dotaccent{S}}
9125
\DeclareUnicodeCharacter{1E61}{\dotaccent{s}}
9126
\DeclareUnicodeCharacter{1E62}{\udotaccent{S}}
9127
\DeclareUnicodeCharacter{1E63}{\udotaccent{s}}
9128
\DeclareUnicodeCharacter{1E6A}{\dotaccent{T}}
9129
\DeclareUnicodeCharacter{1E6B}{\dotaccent{t}}
9130
\DeclareUnicodeCharacter{1E6C}{\udotaccent{T}}
9131
\DeclareUnicodeCharacter{1E6D}{\udotaccent{t}}
9132
\DeclareUnicodeCharacter{1E6E}{\ubaraccent{T}}
9133
\DeclareUnicodeCharacter{1E6F}{\ubaraccent{t}}
9135
\DeclareUnicodeCharacter{1E7C}{\~V}
9136
\DeclareUnicodeCharacter{1E7D}{\~v}
9137
\DeclareUnicodeCharacter{1E7E}{\udotaccent{V}}
9138
\DeclareUnicodeCharacter{1E7F}{\udotaccent{v}}
9140
\DeclareUnicodeCharacter{1E80}{\`W}
9141
\DeclareUnicodeCharacter{1E81}{\`w}
9142
\DeclareUnicodeCharacter{1E82}{\'W}
9143
\DeclareUnicodeCharacter{1E83}{\'w}
9144
\DeclareUnicodeCharacter{1E84}{\"W}
9145
\DeclareUnicodeCharacter{1E85}{\"w}
9146
\DeclareUnicodeCharacter{1E86}{\dotaccent{W}}
9147
\DeclareUnicodeCharacter{1E87}{\dotaccent{w}}
9148
\DeclareUnicodeCharacter{1E88}{\udotaccent{W}}
9149
\DeclareUnicodeCharacter{1E89}{\udotaccent{w}}
9150
\DeclareUnicodeCharacter{1E8A}{\dotaccent{X}}
9151
\DeclareUnicodeCharacter{1E8B}{\dotaccent{x}}
9152
\DeclareUnicodeCharacter{1E8C}{\"X}
9153
\DeclareUnicodeCharacter{1E8D}{\"x}
9154
\DeclareUnicodeCharacter{1E8E}{\dotaccent{Y}}
9155
\DeclareUnicodeCharacter{1E8F}{\dotaccent{y}}
9157
\DeclareUnicodeCharacter{1E90}{\^Z}
9158
\DeclareUnicodeCharacter{1E91}{\^z}
9159
\DeclareUnicodeCharacter{1E92}{\udotaccent{Z}}
9160
\DeclareUnicodeCharacter{1E93}{\udotaccent{z}}
9161
\DeclareUnicodeCharacter{1E94}{\ubaraccent{Z}}
9162
\DeclareUnicodeCharacter{1E95}{\ubaraccent{z}}
9163
\DeclareUnicodeCharacter{1E96}{\ubaraccent{h}}
9164
\DeclareUnicodeCharacter{1E97}{\"t}
9165
\DeclareUnicodeCharacter{1E98}{\ringaccent{w}}
9166
\DeclareUnicodeCharacter{1E99}{\ringaccent{y}}
9168
\DeclareUnicodeCharacter{1EA0}{\udotaccent{A}}
9169
\DeclareUnicodeCharacter{1EA1}{\udotaccent{a}}
9171
\DeclareUnicodeCharacter{1EB8}{\udotaccent{E}}
9172
\DeclareUnicodeCharacter{1EB9}{\udotaccent{e}}
9173
\DeclareUnicodeCharacter{1EBC}{\~E}
9174
\DeclareUnicodeCharacter{1EBD}{\~e}
9176
\DeclareUnicodeCharacter{1ECA}{\udotaccent{I}}
9177
\DeclareUnicodeCharacter{1ECB}{\udotaccent{i}}
9178
\DeclareUnicodeCharacter{1ECC}{\udotaccent{O}}
9179
\DeclareUnicodeCharacter{1ECD}{\udotaccent{o}}
9181
\DeclareUnicodeCharacter{1EE4}{\udotaccent{U}}
9182
\DeclareUnicodeCharacter{1EE5}{\udotaccent{u}}
9184
\DeclareUnicodeCharacter{1EF2}{\`Y}
9185
\DeclareUnicodeCharacter{1EF3}{\`y}
9186
\DeclareUnicodeCharacter{1EF4}{\udotaccent{Y}}
9188
\DeclareUnicodeCharacter{1EF8}{\~Y}
9189
\DeclareUnicodeCharacter{1EF9}{\~y}
9191
\DeclareUnicodeCharacter{2013}{--}
9192
\DeclareUnicodeCharacter{2014}{---}
9193
\DeclareUnicodeCharacter{2018}{\quoteleft}
9194
\DeclareUnicodeCharacter{2019}{\quoteright}
9195
\DeclareUnicodeCharacter{201A}{\quotesinglbase}
9196
\DeclareUnicodeCharacter{201C}{\quotedblleft}
9197
\DeclareUnicodeCharacter{201D}{\quotedblright}
9198
\DeclareUnicodeCharacter{201E}{\quotedblbase}
9199
\DeclareUnicodeCharacter{2022}{\bullet}
9200
\DeclareUnicodeCharacter{2026}{\dots}
9201
\DeclareUnicodeCharacter{2039}{\guilsinglleft}
9202
\DeclareUnicodeCharacter{203A}{\guilsinglright}
9203
\DeclareUnicodeCharacter{20AC}{\euro}
9205
\DeclareUnicodeCharacter{2192}{\expansion}
9206
\DeclareUnicodeCharacter{21D2}{\result}
9208
\DeclareUnicodeCharacter{2212}{\minus}
9209
\DeclareUnicodeCharacter{2217}{\point}
9210
\DeclareUnicodeCharacter{2261}{\equiv}
9211
}% end of \utfeightchardefs
9214
% US-ASCII character definitions.
9215
\def\asciichardefs{% nothing need be done
9219
% Make non-ASCII characters printable again for compatibility with
9220
% existing Texinfo documents that may use them, even without declaring a
9221
% document encoding.
9223
\setnonasciicharscatcode \other
9226
\message{formatting,}
7101
9228
\newdimen\defaultparindent \defaultparindent = 15pt
7103
9230
\chapheadingskip = 15pt plus 4pt minus 2pt