summaryrefslogtreecommitdiff
path: root/fonts/logix/tex/logix.sty
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/logix/tex/logix.sty')
-rw-r--r--fonts/logix/tex/logix.sty278
1 files changed, 228 insertions, 50 deletions
diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index 32ff0d4bea..28a0a1674c 100644
--- a/fonts/logix/tex/logix.sty
+++ b/fonts/logix/tex/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&#1&
- \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&#3&\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&#3&\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&#1&
- \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&#3&\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&#3&\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<name> where xxx is one of the
% above and <name> 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}