diff options
Diffstat (limited to 'info/latex2e-help-texinfo/common.texi')
-rw-r--r-- | info/latex2e-help-texinfo/common.texi | 47 |
1 files changed, 44 insertions, 3 deletions
diff --git a/info/latex2e-help-texinfo/common.texi b/info/latex2e-help-texinfo/common.texi index e27678fcd9..04824f1c7a 100644 --- a/info/latex2e-help-texinfo/common.texi +++ b/info/latex2e-help-texinfo/common.texi @@ -1,6 +1,6 @@ -@c $Id: common.texi 701 2018-10-08 14:32:37Z jimhefferon $ +@c $Id: common.texi 729 2018-11-13 23:22:27Z karl $ @c Public domain. -@set LTXREFMAN_HOME_PAGE https://puszcza.gnu.org.ua/software/latexrefman +@set LTXREFMAN_HOME_PAGE https://latexref.xyz @set LTXREFMAN_BUGS latexrefman@@tug.org @clear HAS-MATH @iftex @@ -14,5 +14,46 @@ \else\@c @end macro @end ifnottex - +@tex +\globaldefs=1 +% lasyfont characters for Texinfo (latexsym package in LaTeX). +% JH 2018-Nov-12, ideas from wasyfont.tex. Public domain. +% not going to try to make fonts +\font\tenlasy = lasy10 +% \font\ninelasy = lasy9 +% \font\eightlasy = lasy8 +\font\sevenlasy = lasy7 +\font\fivelasy = lasy5 +\newfam\lasyfam +\newcount\lasyfamcount +% family number is third-least-significant hex digit of mathchar +\lasyfamcount=\lasyfam \multiply\lasyfamcount by 256 +% +\textfont\lasyfam=\tenlasy + \scriptfont\lasyfam=\sevenlasy + \scriptscriptfont\lasyfam=\fivelasy +% +\def\lasymathchardef#1#2{% + \count255=\lasyfamcount + \advance\count255 by"#1 + \mathchardef#2\count255 } +% char 1 (math class): 0=ord, 2=bin, 3=rel (taken from latexsym.dtx). +% char 2: family number, added in by \lasymathchardef. +% chars 3-4: character code in font. All in hex. +\lasymathchardef{0030}{\mho} +\lasymathchardef{3031}{\Join} +\lasymathchardef{0032}{\Box} +\lasymathchardef{0033}{\Diamond} +\lasymathchardef{303B}{\leadsto} +\lasymathchardef{303C}{\sqsubset} +\lasymathchardef{303D}{\sqsupset} +\lasymathchardef{2001}{\lhd} +\lasymathchardef{2003}{\rhd} +\lasymathchardef{2002}{\unlhd} +\lasymathchardef{2004}{\unrhd} +% +% must explicitly reset before the (at)end tex, not let the (at)end group +% reset it; else internal Texinfo variables get messed up. +\globaldefs=0 +@end tex |