From 6596627aaab230cc4a331dd121f46a831ee540c2 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 24 Jun 2020 21:02:30 +0000 Subject: logix (24jun20) git-svn-id: svn://tug.org/texlive/trunk@55650 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logix/logix.sty | 278 +++++++++++++++++++++++----- 1 file changed, 228 insertions(+), 50 deletions(-) (limited to 'Master/texmf-dist/tex/latex/logix/logix.sty') diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty index 32ff0d4bea8..28a0a1674c8 100644 --- a/Master/texmf-dist/tex/latex/logix/logix.sty +++ b/Master/texmf-dist/tex/latex/logix/logix.sty @@ -1,6 +1,6 @@ % Copyright (c) 2001..2020 by Michael Lee Finney. % -% logix.sty - 2020-05-01 v1.04 +% logix.sty - 2020-05-23 v1.05 % % This work may be distributed and/or modified under the conditions of the % LaTeX Project Public License, either version 1.3 of this license or (at your @@ -28,9 +28,9 @@ \NeedsTeXFormat{LaTeX2e}[2020/02/02] \ProvidesPackage{logix} - [2020-05-01 v1.04 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] + [2020-05-23 v1.05 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] \ProvidesFile{logix.otf} - [2020-05-01 v1.04 (Michael Lee Finney) OpenType Unicode font.] + [2020-05-23 v1.05 (Michael Lee Finney) OpenType Unicode font.] \RequirePackage{iftex} \RequirePackage[bold-style=ISO]{unicode-math} \RequirePackage{arydshln} @@ -48,7 +48,11 @@ % Load / define logix font. - \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix] + \ifluatex + \newfontface \logix {logix.otf}[Renderer=Basic,Script=Math,Scale=1.0,NFSSFamily=logix] + \else + \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix] + \fi \DeclareSymbolFont{Logix}{TU}{logix}{m}{n} @@ -183,27 +187,25 @@ \setlength{\dashlinegap}{2pt} \setlength{\arrayrulewidth}{0.2pt}% \renewcommand{\arraystretch}{0}% - \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.30em}} + \newcommand \PrfBgn {\-\ \hspace{0.50em}}% + \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}% \ifx& - \newcommand \parms {4} \newcommand \Dash[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hdashline} \newcommand \Line[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hline} \else - \newcommand \parms {5} \newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hdashline} \newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hline} \fi - \noindent\begin{tabular}{ - @{} >{$} r <{$} % Line number, aligned right, left padding 0.35em. - @{} l % Justification reference, left padding 0.25em. - @{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em. - @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}} % Proposition, right padding 0.25em. - @{} c @{} } - \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} } - #2. & \ifx&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd - \end{tabular}} \\\hline% - }{% - \end{tabular} } + \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}} + \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} } + #2. & \ifx&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline + \noindent\hspace{-0.10em}\begin{tabular}{ + @{} >{$} r <{$} % Line number, aligned right, left padding 0.35em. + @{} l % Justification reference, left padding 0.25em. + @{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em. + @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}} % Proposition, right padding 0.25em. + @{} c @{} } }{% + \end{tabular} \end{tabular}} % Environment for logic proofs with sequents. @@ -212,28 +214,26 @@ \setlength{\dashlinegap}{2pt} \setlength{\arrayrulewidth}{0.2pt}% \renewcommand{\arraystretch}{0}% - \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.30em}} + \newcommand \PrfBgn {\-\ \hspace{0.50em}}% + \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}% \ifx& - \newcommand \parms {5} \newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hdashline} \newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hline} \else - \newcommand \parms {6} \newcommand \Dash[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hdashline} \newcommand \Line[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hline} \fi - \noindent\begin{tabular}{ + \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}} + \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} } + #2. & \ifx&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline + \noindent\hspace{-0.10em}\begin{tabular}{ @{} >{$} r <{$} % Line number, aligned right, left padding 0.35em. @{} l % Justification reference, left padding 0.25em. @{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em. @{} >{\hspace{0.25em}$} r <{$} % Sequent assumptions, left padding 0.25em. @{} >{$\Seq} l <{$} @{\hspace{0.25em}} % Sequent conclusion, right padding 0.25em. - @{} c @{} } - \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} } - #2. & \ifx&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd - \end{tabular}} \\\hline% - }{% - \end{tabular} } + @{} c @{} } }{% + \end{tabular} \end{tabular}} % Define the logix math symbols. These symbols have sidebearings defined in the font. @@ -297,6 +297,7 @@ \newcommand \OpnCntx {\lgx{E31F}\relax} % Open Context Quote \newcommand \OpnDblGrp {\lgl{E320}\relax} % Open Double Group Brace \newcommand \OpnDblBar {\lgl{E321}\relax} % Open Double Vertical Bar + \newcommand \OpnTrpBar {\lgl{E322}\relax} % Open Triple Vertical Bar \newcommand \OpnBarS {\left\OpnBar\relax} % Stretchy Open Vertical Bar \newcommand \OpnGrpS {\left\OpnGrp\relax} % Stretchy Open Group Brace @@ -332,6 +333,7 @@ \newcommand \OpnCntxS {\left\OpnCntx\relax} % Stretchy Open Context Quote \newcommand \OpnDblGrpS {\left\OpnDblGrp\relax} % Stretchy Open Double Group Brace \newcommand \OpnDblBarS {\left\OpnDblBar\relax} % Stretchy Open Double Vertical Bar + \newcommand \OpnTrpBarS {\left\OpnTrpBar\relax} % Stretchy Open Triple Vertical Bar \newcommand \ClsBar {\lgr{E340}\relax} % Close Bar \newcommand \ClsGrp {\lgr{E341}\relax} % Close Group Brace @@ -367,6 +369,7 @@ \newcommand \ClsCntx {\lgx{E35F}\relax} % Close Context Quote \newcommand \ClsDblGrp {\lgr{E360}\relax} % Close Double Group Brace \newcommand \ClsDblBar {\lgr{E361}\relax} % Close Double Vertical Bar + \newcommand \ClsTrpBar {\lgr{E362}\relax} % Close Triple Vertical Bar \newcommand \ClsBarS {\right\ClsBar\relax} % Stretchy Close Bar \newcommand \ClsGrpS {\right\ClsGrp\relax} % Stretchy Close Group Brace @@ -402,6 +405,7 @@ \newcommand \ClsCntxS {\right\ClsCntx\relax} % Stretchy Close Context Quote \newcommand \ClsDblGrpS {\right\ClsDblGrp\relax} % Stretchy Close Double Group Brace \newcommand \ClsDblBarS {\right\ClsDblBar\relax} % Stretchy Close Vertical Double Bar + \newcommand \ClsTrpBarS {\right\ClsTrpBar\relax} % Stretchy Close Vertical Triple Bar \newcommand \MapParInMul {\lgx{EAA0}\relax} % Continuous, Partial, Into Multi-Map \newcommand \MapParInSng {\lgx{EAA1}\relax} % Continuous, Partial, Into, Singleton Map @@ -605,7 +609,7 @@ \newcommand \Nd {\lgx{E6A0}\relax} % Bitwise AND operator / Logical Conjunction \newcommand \Or {\lgx{E6A1}\relax} % Bitwise OR operator / Logical Disjunction \newcommand \Nt {\lgx{E0C0}\relax} % Bitwise NOT operator / Logical Negation - \newcommand \Ng {\lgx{E64C}\relax} % Classical Logical Negation + \newcommand \Ngt {\lgx{E64C}\relax} % Classical Logical Negation \newcommand \Nand {\lgx{E6A2}\relax} % Bitwise NAND operator \newcommand \Nor {\lgx{E6A3}\relax} % Bitwise NOR operator \newcommand \Xor {\lgx{E6A5}\relax} % Bitwise XOR operator @@ -613,10 +617,14 @@ \newcommand \LcgCohrnc {\lgx{E068}\relax} % Logical Coherence \newcommand \BncCohrnc {\lgx{E078}\relax} % Bunch Coherence + \newcommand \TFNone {\lgx{E010}\relax} % Neither true nor false + \newcommand \NTrue {\lgx{E011}\relax} % Not true \newcommand \True {\lgx{E012}\relax} % True + \newcommand \TFBoth {\lgx{E013}\relax} % Both true and false \newcommand \False {\lgx{E014}\relax} % False - \newcommand \Top {\lgx{E017}\relax} % Lattice / type top + \newcommand \NFalse {\lgx{E015}\relax} % Nat false \newcommand \Bot {\lgx{E016}\relax} % Lattice / type bottom + \newcommand \Top {\lgx{E017}\relax} % Lattice / type top \newcommand \QuantCon {\lgx{E891}\relax} % Quantified Conjunction \newcommand \QuantDis {\lgx{E890}\relax} % Quantified Disjuntion @@ -634,7 +642,9 @@ \newcommand \Cln {\lgx{E091}\relax} % Colon \newcommand \Thus {\lgx{E092}\relax} % Thus \newcommand \Since {\lgx{E093}\relax} % Since - \newcommand \Dts {\lgx{E096}\relax} % Dots (ellipsis) + \newcommand \VDots {\lgx{E094}\relax} % Vertical dots + \newcommand \CDots {\lgx{E096}\relax} % Centered Horizontal Dots (ellipsis) + \newcommand \LDots {\lgx{E09C}\relax} % Baseline Horizontal Dots (ellipsis) \newcommand \BndDot {\lgx{E090}\relax} % Binding Dot \newcommand \BndBar {\lgm{E380}\relax} % Binding Bar \newcommand \BndBarS {\middle\BndBar\relax} % Stretchy Binding Bar @@ -647,11 +657,12 @@ \newcommand \At {\lgx{E03E}\relax} % At sign \newcommand \Circumflex {\lgx{E03F}\relax} % ASCII Circumflex \newcommand \Numbr {\lgx{E04F}\relax} % Number sign - \newcommand \Underscore {\lgx{E09E}\relax} % Underscore + \newcommand \Underscore {\lgx{E0AF}\relax} % Underscore \newcommand \Tild {\lgx{007E}\relax} % Tilde E64C - \newcommand \SingleQuote {\lgx{E09C}\relax} % Single quote + \newcommand \SingleQuote {\lgx{E08B}\relax} % Single quote \newcommand \DoubleQuote {\lgx{E09B}\relax} % Double quote - \newcommand \BackQuote {\lgx{E09D}\relax} % Back quote (grave) + \newcommand \TripleQuote {\lgx{E0AB}\relax} % Triple quote + \newcommand \BackQuote {\lgx{E09F}\relax} % Back quote (grave) \newcommand \LeftSlash {\lgx{E103}\relax} % Left (back) slash \newcommand \RightSlash {\lgx{E102}\relax} % Right (forward) slash @@ -674,6 +685,7 @@ \newcommand \ExLstFix {\lgx{E034}\relax} % Extended Least Fixed Point \newcommand \ExGrtFix {\lgx{E035}\relax} % Extended Greatest Fixed Point \newcommand \FrstOrd {\lgx{E039}\relax} % First Ordinal (omega) + \newcommand \Infin {\lgx{E03A}\relax} % Infinity \newcommand \LogNec {\lgx{E230}\relax} % Logical Necessity (temporal always or henceforth) \newcommand \LogPos {\lgx{E232}\relax} % Logical Possibility (temporal sometime or eventually) @@ -972,6 +984,8 @@ \defineDelimiter{ClsDblGrp} {F080} \defineDelimiter{OpnDblBar} {F090} \defineDelimiter{ClsDblBar} {F0A0} + \defineDelimiter{OpnTrpBar} {F100} + \defineDelimiter{ClsTrpBar} {F110} \newcommand \OpnGrpBtm {\lgx{EBEC}} % OpnGrp bottom \newcommand \OpnGrpExt {\lgx{EBED}} % OpnGrp extender @@ -1224,7 +1238,13 @@ \newcommand \OpnDblBarExt {\lgx{F09D}} % OpnDblBar extender \newcommand \ClsDblBarBtm {\lgx{F0AC}} % ClsDblBar bottom - \newcommand \ClsDblBarExt {\lgx{F0aD}} % ClsDblBar extender + \newcommand \ClsDblBarExt {\lgx{F0AD}} % ClsDblBar extender + + \newcommand \OpnTrpBarBtm {\lgx{F10C}} % OpnTrpBar bottom + \newcommand \OpnTrpBarExt {\lgx{F10D}} % OpnTrpBar extender + + \newcommand \ClsTrpBarBtm {\lgx{F11C}} % ClsTrpBar bottom + \newcommand \ClsTrpBarExt {\lgx{F11D}} % ClsTrpBar extender % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1667,7 +1687,7 @@ \newcommand \DottedSquare {\lgx{E250}\relax} \newcommand \DottedSquareRoundCorners {\lgx{E251}\relax} \newcommand \DottedDiamond {\lgx{E252}\relax} - \newcommand \DottedCircle {\lgx{E253}\relax} + \newcommand \DottedCircl {\lgx{E253}\relax} \newcommand \DottedRightTriangle {\lgx{E254}\relax} \newcommand \DottedLeftTriangle {\lgx{E255}\relax} \newcommand \DottedDownTriangle {\lgx{E256}\relax} @@ -1819,6 +1839,146 @@ \newcommand \LWhiteRightArrowHead {\lgx{E2EE}\relax} \newcommand \LWhiteRightCurvedArrowHead {\lgx{E2EF}\relax} + \newcommand \WhiteCircleA {\lgx{E3C0}\relax} + \newcommand \WhiteCircleB {\lgx{E3D0}\relax} + \newcommand \WhiteCircleC {\lgx{E3E0}\relax} + \newcommand \WhiteCircleD {\lgx{E3F0}\relax} + \newcommand \WhiteCircleE {\lgx{E400}\relax} + \newcommand \WhiteCircleF {\lgx{E410}\relax} + \newcommand \WhiteCircleG {\lgx{E420}\relax} + \newcommand \WhiteCircleH {\lgx{E430}\relax} + \newcommand \WhiteCircleI {\lgx{E440}\relax} + + \newcommand \BlackCircleA {\lgx{E3C8}\relax} + \newcommand \BlackCircleB {\lgx{E3D8}\relax} + \newcommand \BlackCircleC {\lgx{E3E8}\relax} + \newcommand \BlackCircleD {\lgx{E3F8}\relax} + \newcommand \BlackCircleE {\lgx{E408}\relax} + \newcommand \BlackCircleF {\lgx{E418}\relax} + \newcommand \BlackCircleG {\lgx{E428}\relax} + \newcommand \BlackCircleH {\lgx{E438}\relax} + \newcommand \BlackCircleI {\lgx{E448}\relax} + + \newcommand \WhiteSquareA {\lgx{E3C1}\relax} + \newcommand \WhiteSquareB {\lgx{E3D1}\relax} + \newcommand \WhiteSquareC {\lgx{E3E1}\relax} + \newcommand \WhiteSquareD {\lgx{E3F1}\relax} + \newcommand \WhiteSquareE {\lgx{E401}\relax} + \newcommand \WhiteSquareF {\lgx{E411}\relax} + \newcommand \WhiteSquareG {\lgx{E421}\relax} + \newcommand \WhiteSquareH {\lgx{E431}\relax} + \newcommand \WhiteSquareI {\lgx{E441}\relax} + + \newcommand \BlackSquareA {\lgx{E3C9}\relax} + \newcommand \BlackSquareB {\lgx{E3D9}\relax} + \newcommand \BlackSquareC {\lgx{E3E9}\relax} + \newcommand \BlackSquareD {\lgx{E3F9}\relax} + \newcommand \BlackSquareE {\lgx{E409}\relax} + \newcommand \BlackSquareF {\lgx{E419}\relax} + \newcommand \BlackSquareG {\lgx{E429}\relax} + \newcommand \BlackSquareH {\lgx{E439}\relax} + \newcommand \BlackSquareI {\lgx{E449}\relax} + + \newcommand \WhiteDiamondA {\lgx{E3C2}\relax} + \newcommand \WhiteDiamondB {\lgx{E3D2}\relax} + \newcommand \WhiteDiamondC {\lgx{E3E2}\relax} + \newcommand \WhiteDiamondD {\lgx{E3F2}\relax} + \newcommand \WhiteDiamondE {\lgx{E402}\relax} + \newcommand \WhiteDiamondF {\lgx{E412}\relax} + \newcommand \WhiteDiamondG {\lgx{E422}\relax} + \newcommand \WhiteDiamondH {\lgx{E432}\relax} + \newcommand \WhiteDiamondI {\lgx{E442}\relax} + + \newcommand \BlackDiamondA {\lgx{E3CA}\relax} + \newcommand \BlackDiamondB {\lgx{E3DA}\relax} + \newcommand \BlackDiamondC {\lgx{E3EA}\relax} + \newcommand \BlackDiamondD {\lgx{E3FA}\relax} + \newcommand \BlackDiamondE {\lgx{E40A}\relax} + \newcommand \BlackDiamondF {\lgx{E41A}\relax} + \newcommand \BlackDiamondG {\lgx{E42A}\relax} + \newcommand \BlackDiamondH {\lgx{E43A}\relax} + \newcommand \BlackDiamondI {\lgx{E44A}\relax} + + \newcommand \WhiteRightTriangleA {\lgx{E3C3}\relax} + \newcommand \WhiteRightTriangleB {\lgx{E3D3}\relax} + \newcommand \WhiteRightTriangleC {\lgx{E3E3}\relax} + \newcommand \WhiteRightTriangleD {\lgx{E3F3}\relax} + \newcommand \WhiteRightTriangleE {\lgx{E403}\relax} + \newcommand \WhiteRightTriangleF {\lgx{E413}\relax} + \newcommand \WhiteRightTriangleG {\lgx{E423}\relax} + \newcommand \WhiteRightTriangleH {\lgx{E433}\relax} + \newcommand \WhiteRightTriangleI {\lgx{E443}\relax} + + \newcommand \BlackRightTriangleA {\lgx{E3CB}\relax} + \newcommand \BlackRightTriangleB {\lgx{E3DB}\relax} + \newcommand \BlackRightTriangleC {\lgx{E3EB}\relax} + \newcommand \BlackRightTriangleD {\lgx{E3FB}\relax} + \newcommand \BlackRightTriangleE {\lgx{E40B}\relax} + \newcommand \BlackRightTriangleF {\lgx{E41B}\relax} + \newcommand \BlackRightTriangleG {\lgx{E42B}\relax} + \newcommand \BlackRightTriangleH {\lgx{E43B}\relax} + \newcommand \BlackRightTriangleI {\lgx{E44B}\relax} + + \newcommand \WhiteLeftTriangleA {\lgx{E3C4}\relax} + \newcommand \WhiteLeftTriangleB {\lgx{E3D4}\relax} + \newcommand \WhiteLeftTriangleC {\lgx{E3E4}\relax} + \newcommand \WhiteLeftTriangleD {\lgx{E3F4}\relax} + \newcommand \WhiteLeftTriangleE {\lgx{E404}\relax} + \newcommand \WhiteLeftTriangleF {\lgx{E414}\relax} + \newcommand \WhiteLeftTriangleG {\lgx{E424}\relax} + \newcommand \WhiteLeftTriangleH {\lgx{E434}\relax} + \newcommand \WhiteLeftTriangleI {\lgx{E444}\relax} + + \newcommand \BlackLeftTriangleA {\lgx{E3CC}\relax} + \newcommand \BlackLeftTriangleB {\lgx{E3DC}\relax} + \newcommand \BlackLeftTriangleC {\lgx{E3EC}\relax} + \newcommand \BlackLeftTriangleD {\lgx{E3FC}\relax} + \newcommand \BlackLeftTriangleE {\lgx{E40C}\relax} + \newcommand \BlackLeftTriangleF {\lgx{E41C}\relax} + \newcommand \BlackLeftTriangleG {\lgx{E42C}\relax} + \newcommand \BlackLeftTriangleH {\lgx{E43C}\relax} + \newcommand \BlackLeftTriangleI {\lgx{E44C}\relax} + + \newcommand \WhiteUpTriangleA {\lgx{E3C5}\relax} + \newcommand \WhiteUpTriangleB {\lgx{E3D5}\relax} + \newcommand \WhiteUpTriangleC {\lgx{E3E5}\relax} + \newcommand \WhiteUpTriangleD {\lgx{E3F5}\relax} + \newcommand \WhiteUpTriangleE {\lgx{E405}\relax} + \newcommand \WhiteUpTriangleF {\lgx{E415}\relax} + \newcommand \WhiteUpTriangleG {\lgx{E425}\relax} + \newcommand \WhiteUpTriangleH {\lgx{E435}\relax} + \newcommand \WhiteUpTriangleI {\lgx{E445}\relax} + + \newcommand \BlackUpTriangleA {\lgx{E3CD}\relax} + \newcommand \BlackUpTriangleB {\lgx{E3DD}\relax} + \newcommand \BlackUpTriangleC {\lgx{E3ED}\relax} + \newcommand \BlackUpTriangleD {\lgx{E3FD}\relax} + \newcommand \BlackUpTriangleE {\lgx{E40D}\relax} + \newcommand \BlackUpTriangleF {\lgx{E41D}\relax} + \newcommand \BlackUpTriangleG {\lgx{E42D}\relax} + \newcommand \BlackUpTriangleH {\lgx{E43D}\relax} + \newcommand \BlackUpTriangleI {\lgx{E44D}\relax} + + \newcommand \WhiteDownTriangleA {\lgx{E3C6}\relax} + \newcommand \WhiteDownTriangleB {\lgx{E3D6}\relax} + \newcommand \WhiteDownTriangleC {\lgx{E3E6}\relax} + \newcommand \WhiteDownTriangleD {\lgx{E3F6}\relax} + \newcommand \WhiteDownTriangleE {\lgx{E406}\relax} + \newcommand \WhiteDownTriangleF {\lgx{E416}\relax} + \newcommand \WhiteDownTriangleG {\lgx{E426}\relax} + \newcommand \WhiteDownTriangleH {\lgx{E436}\relax} + \newcommand \WhiteDownTriangleI {\lgx{E446}\relax} + + \newcommand \BlackDownTriangleA {\lgx{E3CE}\relax} + \newcommand \BlackDownTriangleB {\lgx{E3DE}\relax} + \newcommand \BlackDownTriangleC {\lgx{E3EE}\relax} + \newcommand \BlackDownTriangleD {\lgx{E3FE}\relax} + \newcommand \BlackDownTriangleE {\lgx{E40E}\relax} + \newcommand \BlackDownTriangleF {\lgx{E41E}\relax} + \newcommand \BlackDownTriangleG {\lgx{E42E}\relax} + \newcommand \BlackDownTriangleH {\lgx{E43E}\relax} + \newcommand \BlackDownTriangleI {\lgx{E44E}\relax} + % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - % @@ -1864,19 +2024,20 @@ % Normal serif, bold font. Sru % Normal serif, bold, italic font. Sri % -% Calligraphic font. cli -% -% Blackboard font. blu +% Calligraphic script font. cli +% Calligraphic script bold font. Cli % % Fraktur font. fru % Fraktur bold font. Fru % % Monospace slab-serif font. mnu -% Monospace raised, serif, italic font. mni +% Monospace serif, italic font. mni % % Greek font. gru % Greek, italic font. gri % +% Blackboard font. blu +% % Individual letters are available as xxx where xxx is one of the % above and is the letter and for latin scripts is one of: zero, one, % two, three, four, five, six, seven, eight, nine, a-z or A-Z. Thus, for @@ -1911,9 +2072,12 @@ % \vrblbi \symSri Bold, italic serif variables. % % \vrblc \symcli Calligraphic variables. -% \vrbld \symblu Blackboard / double struck variables +% \vrblC \symCli Calligraphic bold variables. +% % \vrblf \symfru Fraktur variables. % \vrblF \symFru Bold, Fraktur variables. +% +% \vrbld \symblu Blackboard / double struck variables % % \mono \symmnu Monospace slab-serif variables. % @@ -2334,7 +2498,7 @@ \newcommand \vrblbi[1] {{\defineLatinScriptMacro{\SriNbrBase}{\SriLtrBase}{0}\ensuremath{#1}}} -% Calligraphic font. +% Calligraphic script font. \newcommand \cliNbrBase {F400} \newcommand \cliLtrBase {F580} @@ -2348,19 +2512,19 @@ \newcommand \vrblc[1] {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}} -% Blackboard font. +% Calligraphic script boldfont. - \newcommand \bluNbrBase {F600} - \newcommand \bluLtrBase {F600} + \newcommand \CliNbrBase {F500} + \newcommand \CliLtrBase {F540} - \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase} + \defineLatinScript{Cli}{\CliNbrBase}{\CliLtrBase} - \newcommand \symblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}} - \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}} + \newcommand \symCli[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}} + \newcommand \mathCli[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{7}\ensuremath{#1}}} - \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase} + \defineLatinScript{VrblC}{\CliNbrBase}{\CliLtrBase} - \newcommand \vrbld[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}} + \newcommand \vrblC[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}} % Fraktur font. @@ -2414,6 +2578,20 @@ \newcommand \symmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}} \newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}} +% Blackboard font. + + \newcommand \bluNbrBase {F600} + \newcommand \bluLtrBase {F600} + + \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase} + + \newcommand \symblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}} + \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}} + + \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase} + + \newcommand \vrbld[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}} + % Greek font. \newcommand \gruLtrBase {F800} -- cgit v1.2.3