* doc/misc/texinfo.tex: Copy from gnulib.
This commit is contained in:
Paul Eggert
parent
af0fb50971
commit
c056077c29
1 changed files with 101 additions and 91 deletions
|
|
@ -3,7 +3,7 @@
|
|||
% Load plain if necessary, i.e., if running under initex.
|
||||
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
|
||||
%
|
||||
\def\texinfoversion{2016-09-12.20}
|
||||
\def\texinfoversion{2016-09-18.11}
|
||||
%
|
||||
% Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
|
||||
% 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
|
||||
|
|
@ -2209,7 +2209,7 @@
|
|||
\setfont\defsl\slshape{10}{\magstep1}{OT1TT}
|
||||
\setfont\defttsl\ttslshape{10}{\magstep1}{OT1TT}
|
||||
\def\df{\let\ttfont=\deftt \let\bffont = \defbf
|
||||
\let\ttfontsl=\defttsl \let\slfont=\defsl \bf}
|
||||
\let\ttslfont=\defttsl \let\slfont=\defsl \bf}
|
||||
|
||||
% Fonts for indices, footnotes, small examples (9pt).
|
||||
\def\smallnominalsize{9pt}
|
||||
|
|
@ -2343,7 +2343,7 @@
|
|||
\setfont\defsl\slshape{10}{\magstephalf}{OT1TT}
|
||||
\setfont\defttsl\ttslshape{10}{\magstephalf}{OT1TT}
|
||||
\def\df{\let\ttfont=\deftt \let\bffont = \defbf
|
||||
\let\slfont=\defsl \let\ttfontsl=\defttsl \bf}
|
||||
\let\slfont=\defsl \let\ttslfont=\defttsl \bf}
|
||||
|
||||
% Fonts for indices, footnotes, small examples (9pt).
|
||||
\def\smallnominalsize{9pt}
|
||||
|
|
@ -2497,10 +2497,6 @@
|
|||
\def\bf{\fam=\bffam \setfontstyle{bf}}\def\bfstylename{bf}
|
||||
\def\tt{\fam=\ttfam \setfontstyle{tt}}
|
||||
|
||||
% Unfortunately, we have to override this for titles and the like, since
|
||||
% in those cases "rm" is bold. Sigh.
|
||||
\def\rmisbold{\rm\def\curfontstyle{bf}}
|
||||
|
||||
% Texinfo sort of supports the sans serif font style, which plain TeX does not.
|
||||
% So we set up a \sf.
|
||||
\newfam\sffam
|
||||
|
|
@ -2520,16 +2516,12 @@
|
|||
\textfont\ttfam=\ttfont \textfont\sffam=\sffont
|
||||
}
|
||||
|
||||
% Select #1 fonts with the current style. Used to change font size
|
||||
% in, e.g., the LaTeX logo and acronyms.
|
||||
%
|
||||
\def\selectfonts#1{\csname #1fonts\endcsname \csname\curfontstyle\endcsname}
|
||||
|
||||
% The font-changing commands (all called \...fonts) redefine the meanings of
|
||||
% \STYLEfont, instead
|
||||
% of just \STYLE. We do this because \STYLE needs to also set the
|
||||
% current \fam for math mode. Our \STYLE (e.g., \rm) commands hardwire
|
||||
% \STYLEfont to set the current font.
|
||||
% The font-changing commands (all called \...fonts) redefine the meanings
|
||||
% of \STYLEfont, instead of just \STYLE. We do this because \STYLE needs
|
||||
% to also set the current \fam for math mode. Our \STYLE (e.g., \rm)
|
||||
% commands hardwire \STYLEfont to set the current font.
|
||||
%
|
||||
% Each font-changing command also sets the names \lsize (one size lower)
|
||||
% and \lllsize (three sizes lower). These relative commands are used
|
||||
|
|
@ -2537,71 +2529,90 @@
|
|||
%
|
||||
% This all needs generalizing, badly.
|
||||
%
|
||||
|
||||
\def\assignfonts#1{%
|
||||
\expandafter\let\expandafter\rmfont\csname #1rm\endcsname
|
||||
\expandafter\let\expandafter\itfont\csname #1it\endcsname
|
||||
\expandafter\let\expandafter\slfont\csname #1sl\endcsname
|
||||
\expandafter\let\expandafter\bffont\csname #1bf\endcsname
|
||||
\expandafter\let\expandafter\ttfont\csname #1tt\endcsname
|
||||
\expandafter\let\expandafter\smallcaps\csname #1sc\endcsname
|
||||
\expandafter\let\expandafter\sffont \csname #1sf\endcsname
|
||||
\expandafter\let\expandafter\ifont \csname #1i\endcsname
|
||||
\expandafter\let\expandafter\syfont \csname #1sy\endcsname
|
||||
\expandafter\let\expandafter\ttslfont\csname #1ttsl\endcsname
|
||||
}
|
||||
|
||||
\newif\ifrmisbold
|
||||
|
||||
% Select smaller font size with the current style. Used to change font size
|
||||
% in, e.g., the LaTeX logo and acronyms. If we are using bold fonts for
|
||||
% normal roman text, also use bold fonts for roman text in the smaller size.
|
||||
\def\switchtolllsize{%
|
||||
\expandafter\assignfonts\expandafter{\lllsize}%
|
||||
\ifrmisbold
|
||||
\let\rmfont\bffont
|
||||
\fi
|
||||
\csname\curfontstyle\endcsname
|
||||
}%
|
||||
|
||||
\def\switchtolsize{%
|
||||
\expandafter\assignfonts\expandafter{\lsize}%
|
||||
\ifrmisbold
|
||||
\let\rmfont\bffont
|
||||
\fi
|
||||
\csname\curfontstyle\endcsname
|
||||
}%
|
||||
|
||||
\def\textfonts{%
|
||||
\let\rmfont=\textrm \let\itfont=\textit \let\slfont=\textsl
|
||||
\let\bffont=\textbf \let\ttfont=\texttt \let\smallcaps=\textsc
|
||||
\let\sffont=\textsf \let\ifont=\texti \let\syfont=\textsy
|
||||
\let\ttfontsl=\textttsl
|
||||
\def\curfontsize{text}%
|
||||
\def\lsize{reduced}\def\lllsize{smaller}%
|
||||
\rmisboldfalse
|
||||
\assignfonts{text}%
|
||||
\resetmathfonts \setleading{\textleading}}
|
||||
\def\titlefonts{%
|
||||
\let\rmfont=\titlerm \let\itfont=\titleit \let\slfont=\titlesl
|
||||
\let\bffont=\titlebf \let\ttfont=\titlett \let\smallcaps=\titlesc
|
||||
\let\sffont=\titlesf \let\ifont=\titlei \let\syfont=\titlesy
|
||||
\let\ttfontsl=\titlettsl
|
||||
\def\curfontsize{title}%
|
||||
\def\lsize{chap}\def\lllsize{subsec}%
|
||||
\rmisboldtrue
|
||||
\assignfonts{title}%
|
||||
\resetmathfonts \setleading{27pt}}
|
||||
\def\titlefont#1{{\titlefonts\rmisbold #1}}
|
||||
\def\titlefont#1{{\titlefonts\rm #1}}
|
||||
\def\chapfonts{%
|
||||
\let\rmfont=\chaprm \let\itfont=\chapit \let\slfont=\chapsl
|
||||
\let\bffont=\chapbf \let\ttfont=\chaptt \let\smallcaps=\chapsc
|
||||
\let\sffont=\chapsf \let\ifont=\chapi \let\syfont=\chapsy
|
||||
\let\ttfontsl=\chapttsl
|
||||
\def\curfontsize{chap}%
|
||||
\def\lsize{sec}\def\lllsize{text}%
|
||||
\rmisboldtrue
|
||||
\assignfonts{chap}%
|
||||
\resetmathfonts \setleading{19pt}}
|
||||
\def\secfonts{%
|
||||
\let\rmfont=\secrm \let\itfont=\secit \let\slfont=\secsl
|
||||
\let\bffont=\secbf \let\ttfont=\sectt \let\smallcaps=\secsc
|
||||
\let\sffont=\secsf \let\ifont=\seci \let\syfont=\secsy
|
||||
\let\ttfontsl=\secttsl
|
||||
\def\curfontsize{sec}%
|
||||
\def\lsize{subsec}\def\lllsize{reduced}%
|
||||
\rmisboldtrue
|
||||
\assignfonts{sec}%
|
||||
\resetmathfonts \setleading{17pt}}
|
||||
\def\subsecfonts{%
|
||||
\let\rmfont=\ssecrm \let\itfont=\ssecit \let\slfont=\ssecsl
|
||||
\let\bffont=\ssecbf \let\ttfont=\ssectt \let\smallcaps=\ssecsc
|
||||
\let\sffont=\ssecsf \let\ifont=\sseci \let\syfont=\ssecsy
|
||||
\let\ttfontsl=\ssecttsl
|
||||
\def\curfontsize{ssec}%
|
||||
\def\lsize{text}\def\lllsize{small}%
|
||||
\rmisboldtrue
|
||||
\assignfonts{ssec}%
|
||||
\resetmathfonts \setleading{15pt}}
|
||||
\let\subsubsecfonts = \subsecfonts
|
||||
\def\reducedfonts{%
|
||||
\let\rmfont=\reducedrm \let\itfont=\reducedit \let\slfont=\reducedsl
|
||||
\let\bffont=\reducedbf \let\ttfont=\reducedtt \let\reducedcaps=\reducedsc
|
||||
\let\sffont=\reducedsf \let\ifont=\reducedi \let\syfont=\reducedsy
|
||||
\let\ttfontsl=\reducedttsl
|
||||
\def\curfontsize{reduced}%
|
||||
\def\lsize{small}\def\lllsize{smaller}%
|
||||
\rmisboldfalse
|
||||
\assignfonts{reduced}%
|
||||
\resetmathfonts \setleading{10.5pt}}
|
||||
\def\smallfonts{%
|
||||
\let\rmfont=\smallrm \let\itfont=\smallit \let\slfont=\smallsl
|
||||
\let\bffont=\smallbf \let\ttfont=\smalltt \let\smallcaps=\smallsc
|
||||
\let\sffont=\smallsf \let\ifont=\smalli \let\syfont=\smallsy
|
||||
\let\ttfontsl=\smallttsl
|
||||
\def\curfontsize{small}%
|
||||
\def\lsize{smaller}\def\lllsize{smaller}%
|
||||
\rmisboldfalse
|
||||
\assignfonts{small}%
|
||||
\resetmathfonts \setleading{10.5pt}}
|
||||
\def\smallerfonts{%
|
||||
\let\rmfont=\smallerrm \let\itfont=\smallerit \let\slfont=\smallersl
|
||||
\let\bffont=\smallerbf \let\ttfont=\smallertt \let\smallcaps=\smallersc
|
||||
\let\sffont=\smallersf \let\ifont=\smalleri \let\syfont=\smallersy
|
||||
\let\ttfontsl=\smallerttsl
|
||||
\def\curfontsize{smaller}%
|
||||
\def\lsize{smaller}\def\lllsize{smaller}%
|
||||
\rmisboldfalse
|
||||
\assignfonts{smaller}%
|
||||
\resetmathfonts \setleading{9.5pt}}
|
||||
|
||||
% Define these just so they can be easily changed for other fonts.
|
||||
|
|
@ -3227,7 +3238,7 @@
|
|||
%
|
||||
\def\acronym#1{\doacronym #1,,\finish}
|
||||
\def\doacronym#1,#2,#3\finish{%
|
||||
{\selectfonts\lsize #1}%
|
||||
{\switchtolsize #1}%
|
||||
\def\temp{#2}%
|
||||
\ifx\temp\empty \else
|
||||
\space ({\unsepspaces \ignorespaces \temp \unskip})%
|
||||
|
|
@ -3320,10 +3331,10 @@
|
|||
% fix it (significant additions to font machinery) until someone notices.
|
||||
%
|
||||
\def\sub{\ifmmode \expandafter\sb \else \expandafter\finishsub\fi}
|
||||
\def\finishsub#1{$\sb{\hbox{\selectfonts\lllsize #1}}$}%
|
||||
\def\finishsub#1{$\sb{\hbox{\switchtolllsize #1}}$}%
|
||||
%
|
||||
\def\sup{\ifmmode \expandafter\ptexsp \else \expandafter\finishsup\fi}
|
||||
\def\finishsup#1{$\ptexsp{\hbox{\selectfonts\lllsize #1}}$}%
|
||||
\def\finishsup#1{$\ptexsp{\hbox{\switchtolllsize #1}}$}%
|
||||
|
||||
% @inlinefmt{FMTNAME,PROCESSED-TEXT} and @inlineraw{FMTNAME,RAW-TEXT}.
|
||||
% Ignore unless FMTNAME == tex; then it is like @iftex and @tex,
|
||||
|
|
@ -3408,8 +3419,8 @@
|
|||
% Plain TeX defines: @AA @AE @O @OE @L (plus lowercase versions) @ss.
|
||||
\def\questiondown{?`}
|
||||
\def\exclamdown{!`}
|
||||
\def\ordf{\leavevmode\raise1ex\hbox{\selectfonts\lllsize \underbar{a}}}
|
||||
\def\ordm{\leavevmode\raise1ex\hbox{\selectfonts\lllsize \underbar{o}}}
|
||||
\def\ordf{\leavevmode\raise1ex\hbox{\switchtolllsize \underbar{a}}}
|
||||
\def\ordm{\leavevmode\raise1ex\hbox{\switchtolllsize \underbar{o}}}
|
||||
|
||||
% Dotless i and dotless j, used for accents.
|
||||
\def\imacro{i}
|
||||
|
|
@ -3438,12 +3449,12 @@
|
|||
{\setbox0=\hbox{T}%
|
||||
\vbox to \ht0{\hbox{%
|
||||
\ifx\textnominalsize\xwordpt
|
||||
% for 10pt running text, \lllsize (8pt) is too small for the A in LaTeX.
|
||||
% for 10pt running text, lllsize (8pt) is too small for the A in LaTeX.
|
||||
% Revert to plain's \scriptsize, which is 7pt.
|
||||
\count255=\the\fam $\fam\count255 \scriptstyle A$%
|
||||
\else
|
||||
% For 11pt, we can use our lllsize.
|
||||
\selectfonts\lllsize A%
|
||||
\switchtolllsize A%
|
||||
\fi
|
||||
}%
|
||||
\vss
|
||||
|
|
@ -3660,7 +3671,7 @@
|
|||
% Adapted from the plain.tex definition of \copyright.
|
||||
%
|
||||
\def\registeredsymbol{%
|
||||
$^{{\ooalign{\hfil\raise.07ex\hbox{\selectfonts\lllsize R}%
|
||||
$^{{\ooalign{\hfil\raise.07ex\hbox{\switchtolllsize R}%
|
||||
\hfil\crcr\Orb}}%
|
||||
}$%
|
||||
}
|
||||
|
|
@ -3754,12 +3765,11 @@
|
|||
|
||||
% Settings used for typesetting titles: no hyphenation, no indentation,
|
||||
% don't worry much about spacing, ragged right. This should be used
|
||||
% inside a \vbox, and fonts need to be set appropriately first. Because
|
||||
% it is always used for titles, nothing else, we call \rmisbold. \par
|
||||
% should be specified before the end of the \vbox, since a vbox is a group.
|
||||
% inside a \vbox, and fonts need to be set appropriately first. \par should
|
||||
% be specified before the end of the \vbox, since a vbox is a group.
|
||||
%
|
||||
\def\raggedtitlesettings{%
|
||||
\rmisbold
|
||||
\rm
|
||||
\hyphenpenalty=10000
|
||||
\parindent=0pt
|
||||
\tolerance=5000
|
||||
|
|
@ -3794,7 +3804,7 @@
|
|||
\else
|
||||
\checkenv\titlepage
|
||||
\ifseenauthor\else \vskip 0pt plus 1filll \seenauthortrue \fi
|
||||
{\secfonts\rmisbold \leftline{#1}}%
|
||||
{\secfonts\rm \leftline{#1}}%
|
||||
\fi
|
||||
}
|
||||
|
||||
|
|
@ -6069,7 +6079,7 @@
|
|||
\null
|
||||
\vskip.3\vsize % move it down on the page a bit
|
||||
\begingroup
|
||||
\noindent \titlefonts\rmisbold #1\par % the text
|
||||
\noindent \titlefonts\rm #1\par % the text
|
||||
\let\lastnode=\empty % no node to associate with
|
||||
\writetocentry{part}{#1}{}% but put it in the toc
|
||||
\headingsoff % no headline or footline on the part page
|
||||
|
|
@ -6555,7 +6565,7 @@
|
|||
\domark
|
||||
%
|
||||
{%
|
||||
\chapfonts \rmisbold
|
||||
\chapfonts \rm
|
||||
\let\footnote=\errfootnoteheading % give better error message
|
||||
%
|
||||
% Have to define \lastsection before calling \donoderef, because the
|
||||
|
|
@ -6647,7 +6657,7 @@
|
|||
\let\footnote=\errfootnoteheading
|
||||
%
|
||||
% Switch to the right set of fonts.
|
||||
\csname #2fonts\endcsname \rmisbold
|
||||
\csname #2fonts\endcsname \rm
|
||||
%
|
||||
% Insert first mark before the heading break (see notes for \domark).
|
||||
\let\prevsectiondefs=\lastsectiondefs
|
||||
|
|
@ -10037,18 +10047,18 @@
|
|||
\gdefchar^^a0{\tie}
|
||||
\gdefchar^^a1{\exclamdown}
|
||||
\gdefchar^^a2{{\tcfont \char162}} % cent
|
||||
\gdefchar^^a3{\pounds}
|
||||
\gdefchar^^a3{\pounds{}}
|
||||
\gdefchar^^a4{{\tcfont \char164}} % currency
|
||||
\gdefchar^^a5{{\tcfont \char165}} % yen
|
||||
\gdefchar^^a6{{\tcfont \char166}} % broken bar
|
||||
\gdefchar^^a7{\S}
|
||||
\gdefchar^^a8{\"{}}
|
||||
\gdefchar^^a9{\copyright}
|
||||
\gdefchar^^a9{\copyright{}}
|
||||
\gdefchar^^aa{\ordf}
|
||||
\gdefchar^^ab{\guillemetleft}
|
||||
\gdefchar^^ab{\guillemetleft{}}
|
||||
\gdefchar^^ac{\ensuremath\lnot}
|
||||
\gdefchar^^ad{\-}
|
||||
\gdefchar^^ae{\registeredsymbol}
|
||||
\gdefchar^^ae{\registeredsymbol{}}
|
||||
\gdefchar^^af{\={}}
|
||||
%
|
||||
\gdefchar^^b0{\textdegree}
|
||||
|
|
@ -10062,7 +10072,7 @@
|
|||
\gdefchar^^b8{\cedilla\ }
|
||||
\gdefchar^^b9{$^1$}
|
||||
\gdefchar^^ba{\ordm}
|
||||
\gdefchar^^bb{\guillemetright}
|
||||
\gdefchar^^bb{\guillemetright{}}
|
||||
\gdefchar^^bc{$1\over4$}
|
||||
\gdefchar^^bd{$1\over2$}
|
||||
\gdefchar^^be{$3\over4$}
|
||||
|
|
@ -10142,7 +10152,7 @@
|
|||
% Encoding is almost identical to Latin1.
|
||||
\latonechardefs
|
||||
%
|
||||
\gdefchar^^a4{\euro}
|
||||
\gdefchar^^a4{\euro{}}
|
||||
\gdefchar^^a6{\v S}
|
||||
\gdefchar^^a8{\v s}
|
||||
\gdefchar^^b4{\v Z}
|
||||
|
|
@ -10171,7 +10181,7 @@
|
|||
\gdefchar^^ae{\v Z}
|
||||
\gdefchar^^af{\dotaccent Z}
|
||||
%
|
||||
\gdefchar^^b0{\textdegree}
|
||||
\gdefchar^^b0{\textdegree{}}
|
||||
\gdefchar^^b1{\ogonek{a}}
|
||||
\gdefchar^^b2{\ogonek{ }}
|
||||
\gdefchar^^b3{\l}
|
||||
|
|
@ -10483,18 +10493,18 @@
|
|||
\DeclareUnicodeCharacter{00A0}{\tie}%
|
||||
\DeclareUnicodeCharacter{00A1}{\exclamdown}%
|
||||
\DeclareUnicodeCharacter{00A2}{{\tcfont \char162}}% 0242=cent
|
||||
\DeclareUnicodeCharacter{00A3}{\pounds}%
|
||||
\DeclareUnicodeCharacter{00A3}{\pounds{}}%
|
||||
\DeclareUnicodeCharacter{00A4}{{\tcfont \char164}}% 0244=currency
|
||||
\DeclareUnicodeCharacter{00A5}{{\tcfont \char165}}% 0245=yen
|
||||
\DeclareUnicodeCharacter{00A6}{{\tcfont \char166}}% 0246=brokenbar
|
||||
\DeclareUnicodeCharacter{00A7}{\S}%
|
||||
\DeclareUnicodeCharacter{00A8}{\"{ }}%
|
||||
\DeclareUnicodeCharacter{00A9}{\copyright}%
|
||||
\DeclareUnicodeCharacter{00A9}{\copyright{}}%
|
||||
\DeclareUnicodeCharacter{00AA}{\ordf}%
|
||||
\DeclareUnicodeCharacter{00AB}{\guillemetleft}%
|
||||
\DeclareUnicodeCharacter{00AB}{\guillemetleft{}}%
|
||||
\DeclareUnicodeCharacter{00AC}{\ensuremath\lnot}%
|
||||
\DeclareUnicodeCharacter{00AD}{\-}%
|
||||
\DeclareUnicodeCharacter{00AE}{\registeredsymbol}%
|
||||
\DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}%
|
||||
\DeclareUnicodeCharacter{00AF}{\={ }}%
|
||||
%
|
||||
\DeclareUnicodeCharacter{00B0}{\ringaccent{ }}%
|
||||
|
|
@ -10508,7 +10518,7 @@
|
|||
\DeclareUnicodeCharacter{00B8}{\cedilla{ }}%
|
||||
\DeclareUnicodeCharacter{00B9}{$^1$}%
|
||||
\DeclareUnicodeCharacter{00BA}{\ordm}%
|
||||
\DeclareUnicodeCharacter{00BB}{\guillemetright}%
|
||||
\DeclareUnicodeCharacter{00BB}{\guillemetright{}}%
|
||||
\DeclareUnicodeCharacter{00BC}{$1\over4$}%
|
||||
\DeclareUnicodeCharacter{00BD}{$1\over2$}%
|
||||
\DeclareUnicodeCharacter{00BE}{$3\over4$}%
|
||||
|
|
@ -10980,36 +10990,36 @@
|
|||
% Punctuation
|
||||
\DeclareUnicodeCharacter{2013}{--}%
|
||||
\DeclareUnicodeCharacter{2014}{---}%
|
||||
\DeclareUnicodeCharacter{2018}{\quoteleft}%
|
||||
\DeclareUnicodeCharacter{2019}{\quoteright}%
|
||||
\DeclareUnicodeCharacter{201A}{\quotesinglbase}%
|
||||
\DeclareUnicodeCharacter{201C}{\quotedblleft}%
|
||||
\DeclareUnicodeCharacter{201D}{\quotedblright}%
|
||||
\DeclareUnicodeCharacter{201E}{\quotedblbase}%
|
||||
\DeclareUnicodeCharacter{2018}{\quoteleft{}}%
|
||||
\DeclareUnicodeCharacter{2019}{\quoteright{}}%
|
||||
\DeclareUnicodeCharacter{201A}{\quotesinglbase{}}%
|
||||
\DeclareUnicodeCharacter{201C}{\quotedblleft{}}%
|
||||
\DeclareUnicodeCharacter{201D}{\quotedblright{}}%
|
||||
\DeclareUnicodeCharacter{201E}{\quotedblbase{}}%
|
||||
\DeclareUnicodeCharacter{2020}{\ensuremath\dagger}%
|
||||
\DeclareUnicodeCharacter{2021}{\ensuremath\ddagger}%
|
||||
\DeclareUnicodeCharacter{2022}{\bullet}%
|
||||
\DeclareUnicodeCharacter{2022}{\bullet{}}%
|
||||
\DeclareUnicodeCharacter{202F}{\thinspace}%
|
||||
\DeclareUnicodeCharacter{2026}{\dots}%
|
||||
\DeclareUnicodeCharacter{2039}{\guilsinglleft}%
|
||||
\DeclareUnicodeCharacter{203A}{\guilsinglright}%
|
||||
\DeclareUnicodeCharacter{2026}{\dots{}}%
|
||||
\DeclareUnicodeCharacter{2039}{\guilsinglleft{}}%
|
||||
\DeclareUnicodeCharacter{203A}{\guilsinglright{}}%
|
||||
%
|
||||
\DeclareUnicodeCharacter{20AC}{\euro}%
|
||||
\DeclareUnicodeCharacter{20AC}{\euro{}}%
|
||||
%
|
||||
\DeclareUnicodeCharacter{2192}{\expansion}%
|
||||
\DeclareUnicodeCharacter{21D2}{\result}%
|
||||
\DeclareUnicodeCharacter{2192}{\expansion{}}%
|
||||
\DeclareUnicodeCharacter{21D2}{\result{}}%
|
||||
%
|
||||
% Mathematical symbols
|
||||
\DeclareUnicodeCharacter{2200}{\ensuremath\forall}%
|
||||
\DeclareUnicodeCharacter{2203}{\ensuremath\exists}%
|
||||
\DeclareUnicodeCharacter{2208}{\ensuremath\in}%
|
||||
\DeclareUnicodeCharacter{2212}{\minus}%
|
||||
\DeclareUnicodeCharacter{2212}{\minus{}}%
|
||||
\DeclareUnicodeCharacter{2217}{\ast}%
|
||||
\DeclareUnicodeCharacter{221E}{\ensuremath\infty}%
|
||||
\DeclareUnicodeCharacter{2225}{\ensuremath\parallel}%
|
||||
\DeclareUnicodeCharacter{2227}{\ensuremath\wedge}%
|
||||
\DeclareUnicodeCharacter{2229}{\ensuremath\cap}%
|
||||
\DeclareUnicodeCharacter{2261}{\equiv}%
|
||||
\DeclareUnicodeCharacter{2261}{\equiv{}}%
|
||||
\DeclareUnicodeCharacter{2264}{\ensuremath\leq}%
|
||||
\DeclareUnicodeCharacter{2265}{\ensuremath\geq}%
|
||||
\DeclareUnicodeCharacter{2282}{\ensuremath\subset}%
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue