diff options
author | Karl Berry <karl@freefriends.org> | 2021-07-24 20:46:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-24 20:46:37 +0000 |
commit | 52acc54d35054ef42caddca5c1e489ef5e0de9d1 (patch) | |
tree | 037c969980627e1b09cbc404931cd10d03b834b5 /Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi | |
parent | 07a368cddecea1b69f3710d7d656f441725d5238 (diff) |
latex2e-help-texinfo (24jul21)
git-svn-id: svn://tug.org/texlive/trunk@60038 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi | 47 |
1 files changed, 44 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi index e27678fcd9c..04824f1c7a4 100644 --- a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi +++ b/Master/texmf-dist/doc/latex/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 |