From da42c465b04bbfc470e73b8060155d1aadd184c5 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 20 Jun 2016 18:54:46 +0000 Subject: [PATCH] corrections to use less font packages (TeX was complaining) --- .../binaries/matex/test/basic_1.conf.xml | 354 +++++++++--------- .../binaries/matex/test/basic_1.sty | 18 +- .../binaries/matex/test/ground_1.conf.xml | 49 +-- .../binaries/matex/test/ground_1.sty | 19 +- .../binaries/matex/test/legacy_1.conf.xml | 27 +- .../binaries/matex/test/legacy_1.sty | 5 +- 6 files changed, 256 insertions(+), 216 deletions(-) diff --git a/matita/components/binaries/matex/test/basic_1.conf.xml b/matita/components/binaries/matex/test/basic_1.conf.xml index 701b0c84f..5056ebfbc 100644 --- a/matita/components/binaries/matex/test/basic_1.conf.xml +++ b/matita/components/binaries/matex/test/basic_1.conf.xml @@ -1,96 +1,99 @@ +
+ matita.lambdadelta.basic_1 +
- matita.lambdadelta.basic_1.T.defs.B.B.type b I - matita.lambdadelta.basic_1.T.defs.B.B.type ee I - matita.lambdadelta.basic_1.T.defs.B.B.type x I + $(devel.basic1).T.defs.B.B.type b I + $(devel.basic1).T.defs.B.B.type ee I + $(devel.basic1).T.defs.B.B.type x I - matita.lambdadelta.basic_1.T.defs.F.F.type ee I - matita.lambdadelta.basic_1.T.defs.F.F.type f I - matita.lambdadelta.basic_1.T.defs.F.F.type x I + $(devel.basic1).T.defs.F.F.type ee I + $(devel.basic1).T.defs.F.F.type f I + $(devel.basic1).T.defs.F.F.type x I - matita.lambdadelta.basic_1.T.defs.K.K.type e I - matita.lambdadelta.basic_1.T.defs.K.K.type ee I - matita.lambdadelta.basic_1.T.defs.K.K.type k I - matita.lambdadelta.basic_1.T.defs.K.K.type h I - matita.lambdadelta.basic_1.T.defs.K.K.type x I + $(devel.basic1).T.defs.K.K.type e I + $(devel.basic1).T.defs.K.K.type ee I + $(devel.basic1).T.defs.K.K.type k I + $(devel.basic1).T.defs.K.K.type h I + $(devel.basic1).T.defs.K.K.type x I - matita.lambdadelta.basic_1.C.defs.C.C.type _ X - matita.lambdadelta.basic_1.C.defs.C.C.type a X - matita.lambdadelta.basic_1.C.defs.C.C.type c L - matita.lambdadelta.basic_1.C.defs.C.C.type d L - matita.lambdadelta.basic_1.C.defs.C.C.type e K - matita.lambdadelta.basic_1.C.defs.C.C.type ee X - matita.lambdadelta.basic_1.C.defs.C.C.type x X - matita.lambdadelta.basic_1.C.defs.C.C.type y Y + $(devel.basic1).C.defs.C.C.type _ X + $(devel.basic1).C.defs.C.C.type a X + $(devel.basic1).C.defs.C.C.type c L + $(devel.basic1).C.defs.C.C.type d L + $(devel.basic1).C.defs.C.C.type e K + $(devel.basic1).C.defs.C.C.type ee X + $(devel.basic1).C.defs.C.C.type x X + $(devel.basic1).C.defs.C.C.type y Y - matita.lambdadelta.basic_1.T.defs.T.T.type _ X - matita.lambdadelta.basic_1.T.defs.T.T.type e X - matita.lambdadelta.basic_1.T.defs.T.T.type ee X - matita.lambdadelta.basic_1.T.defs.T.T.type t T - matita.lambdadelta.basic_1.T.defs.T.T.type u U - matita.lambdadelta.basic_1.T.defs.T.T.type v V - matita.lambdadelta.basic_1.T.defs.T.T.type w W - matita.lambdadelta.basic_1.T.defs.T.T.type wi W - matita.lambdadelta.basic_1.T.defs.T.T.type x X - matita.lambdadelta.basic_1.T.defs.T.T.type y Y - matita.lambdadelta.basic_1.T.defs.T.T.type z Z + $(devel.basic1).T.defs.T.T.type _ X + $(devel.basic1).T.defs.T.T.type e X + $(devel.basic1).T.defs.T.T.type ee X + $(devel.basic1).T.defs.T.T.type t T + $(devel.basic1).T.defs.T.T.type u U + $(devel.basic1).T.defs.T.T.type v V + $(devel.basic1).T.defs.T.T.type w W + $(devel.basic1).T.defs.T.T.type wi W + $(devel.basic1).T.defs.T.T.type x X + $(devel.basic1).T.defs.T.T.type y Y + $(devel.basic1).T.defs.T.T.type z Z - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type _ Xs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type e Xs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ee Xs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type t Ts - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ts Ts - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ul Us - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type us Us - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type vs Vs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ws Ws - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type xs Xs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type x Xs - matita.lambdadelta.basic_1.tlist.defs.TList.TList.type y Ys + $(devel.basic1).tlist.defs.TList.TList.type _ Xs + $(devel.basic1).tlist.defs.TList.TList.type e Xs + $(devel.basic1).tlist.defs.TList.TList.type ee Xs + $(devel.basic1).tlist.defs.TList.TList.type t Ts + $(devel.basic1).tlist.defs.TList.TList.type ts Ts + $(devel.basic1).tlist.defs.TList.TList.type ul Us + $(devel.basic1).tlist.defs.TList.TList.type us Us + $(devel.basic1).tlist.defs.TList.TList.type vs Vs + $(devel.basic1).tlist.defs.TList.TList.type ws Ws + $(devel.basic1).tlist.defs.TList.TList.type xs Xs + $(devel.basic1).tlist.defs.TList.TList.type x Xs + $(devel.basic1).tlist.defs.TList.TList.type y Ys - matita.lambdadelta.basic_1.A.defs.A.A.type _ X - matita.lambdadelta.basic_1.A.defs.A.A.type a A - matita.lambdadelta.basic_1.A.defs.A.A.type b B - matita.lambdadelta.basic_1.A.defs.A.A.type e X - matita.lambdadelta.basic_1.A.defs.A.A.type ee X - matita.lambdadelta.basic_1.A.defs.A.A.type l X - matita.lambdadelta.basic_1.A.defs.A.A.type x X - matita.lambdadelta.basic_1.A.defs.A.A.type y Y + $(devel.basic1).A.defs.A.A.type _ X + $(devel.basic1).A.defs.A.A.type a A + $(devel.basic1).A.defs.A.A.type b B + $(devel.basic1).A.defs.A.A.type e X + $(devel.basic1).A.defs.A.A.type ee X + $(devel.basic1).A.defs.A.A.type l X + $(devel.basic1).A.defs.A.A.type x X + $(devel.basic1).A.defs.A.A.type y Y - matita.lambdadelta.basic_1.G.defs.G.G.type g h + $(devel.basic1).G.defs.G.G.type g h - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type _ x - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type d' d - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type d d - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type e e - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type ee e - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type f f - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type g g - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type h h - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type i i - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type j j - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type k k - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type l l - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type m m - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type n n - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type next f - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type v v - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type w w - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type x x - matita.lambdadelta.legacy_1.coq.defs.nat.nat.type y y + $(devel.legacy1).coq.defs.nat.nat.type _ x + $(devel.legacy1).coq.defs.nat.nat.type d' d + $(devel.legacy1).coq.defs.nat.nat.type d d + $(devel.legacy1).coq.defs.nat.nat.type e e + $(devel.legacy1).coq.defs.nat.nat.type ee e + $(devel.legacy1).coq.defs.nat.nat.type f f + $(devel.legacy1).coq.defs.nat.nat.type g g + $(devel.legacy1).coq.defs.nat.nat.type h h + $(devel.legacy1).coq.defs.nat.nat.type i i + $(devel.legacy1).coq.defs.nat.nat.type j j + $(devel.legacy1).coq.defs.nat.nat.type k k + $(devel.legacy1).coq.defs.nat.nat.type l l + $(devel.legacy1).coq.defs.nat.nat.type m m + $(devel.legacy1).coq.defs.nat.nat.type n n + $(devel.legacy1).coq.defs.nat.nat.type next f + $(devel.legacy1).coq.defs.nat.nat.type v v + $(devel.legacy1).coq.defs.nat.nat.type w w + $(devel.legacy1).coq.defs.nat.nat.type x x + $(devel.legacy1).coq.defs.nat.nat.type y y - matita.lambdadelta.legacy_1.coq.defs.bool.bool.type b b - matita.lambdadelta.legacy_1.coq.defs.bool.bool.type x x + $(devel.legacy1).coq.defs.bool.bool.type b b + $(devel.legacy1).coq.defs.bool.bool.type x x - matita.lambdadelta.ground_1.plist.defs.PList.PList.type _ f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type e f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type ee f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type hds f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type is f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type p f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type q f - matita.lambdadelta.ground_1.plist.defs.PList.PList.type y f + $(devel.ground1).plist.defs.PList.PList.type _ f + $(devel.ground1).plist.defs.PList.PList.type e f + $(devel.ground1).plist.defs.PList.PList.type ee f + $(devel.ground1).plist.defs.PList.PList.type hds f + $(devel.ground1).plist.defs.PList.PList.type is f + $(devel.ground1).plist.defs.PList.PList.type p f + $(devel.ground1).plist.defs.PList.PList.type q f + $(devel.ground1).plist.defs.PList.PList.type y f Prop P R Prop Q R @@ -165,96 +168,109 @@ tlt_wf__q_ind q_ind_aux tslt_wf__q_ind q_ind_aux ty3_nf2_gen__ty3_nf2_inv_abst_aux ty3_nf2_inv_abst_aux -
+
+ + $(devel.basic1).drop1.defs.drop1.drop1.type DropS 2 0 + + $(devel.basic1).drop.defs.drop.drop.type Drop 3 0 + + $(devel.basic1).lift1.defs.lift1.lift1.type FunLiftS 2 0 + $(devel.basic1).lift1.defs.lifts1.lifts1.type FunLiftS 2 0 + $(devel.basic1).lift.defs.lifts.lifts.type FunLift 3 0 + $(devel.basic1).lift.defs.lift.type FunLift 3 0 + + $(devel.basic1).tlist.defs.TApp.TApp.type RevConsA 2 0 + + $(devel.basic1).tlist.defs.TList.TCons.type ConsA 2 0 + +
diff --git a/matita/components/binaries/matex/test/basic_1.sty b/matita/components/binaries/matex/test/basic_1.sty index 270661075..dc89b09c0 100644 --- a/matita/components/binaries/matex/test/basic_1.sty +++ b/matita/components/binaries/matex/test/basic_1.sty @@ -1,10 +1,26 @@ \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{basic_1}[2016/05/23 Notation for "cic:/matita/lambdadelta/basic_1/"] +\ProvidesPackage{basic_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/basic_1/"] +\RequirePackage{legacy_1} +\RequirePackage{ground_1} \ExecuteOptions{} \ProcessOptions* \makeatletter +\newcommand*\ld@drop[1]{\setordlink{\Downarrow}{#1}} +\newcommand*\ld@drops[1]{\setordlink{\Downarrow^*}{#1}} +\newcommand*\ld@funlift[1]{\setordlink{\uparrow}{#1}} +\newcommand*\ld@funlifts[1]{\setordlink{\uparrow^*}{#1}} + +\newcommand*\ld@tuple@a[2]{\ld@oa{#1}#2\ld@ca{#1}} + +\newcommand*\ConsA[3]{#2\ld@cons{#1}#3} +\newcommand*\Drop[5]{\ld@drop{#1}\ld@tuple@b{#1}{#2}{#3}\ma@thop{}#4\ld@eq{#1}#5} +\newcommand*\DropS[4]{\ld@drops{#1}\ld@tuple@a{#1}{#2}\ma@thop{}#3\ld@eq{#1}#4} +\newcommand*\FunLift[4]{\ld@funlift{#1}\ld@tuple@b{#1}{#2}{#3}\ma@thop{}#4} +\newcommand*\FunLiftS[3]{\ld@funlifts{#1}\ld@tuple@a{#1}{#2}\ma@thop{}#3} +\newcommand*\RevConsA[3]{#2\ld@revcons{#1}#3} + \makeatother \endinput diff --git a/matita/components/binaries/matex/test/ground_1.conf.xml b/matita/components/binaries/matex/test/ground_1.conf.xml index aff4fc4dd..3c5fab221 100644 --- a/matita/components/binaries/matex/test/ground_1.conf.xml +++ b/matita/components/binaries/matex/test/ground_1.conf.xml @@ -1,29 +1,32 @@ +
+ matita.lambdadelta.ground_1 +
- matita.lambdadelta.ground_1.types.defs.ex_2.ex_2.type LEx 3 2 - matita.lambdadelta.ground_1.types.defs.ex_3.ex_3.type LEx 4 3 - matita.lambdadelta.ground_1.types.defs.ex2_2.ex2_2.type LEx 4 2 - matita.lambdadelta.ground_1.types.defs.ex2_3.ex2_3.type LEx 5 3 - matita.lambdadelta.ground_1.types.defs.ex3.ex3.type LEx 4 1 - matita.lambdadelta.ground_1.types.defs.ex3_2.ex3_2.type LEx 5 2 - matita.lambdadelta.ground_1.types.defs.ex3_3.ex3_3.type LEx 6 3 - matita.lambdadelta.ground_1.types.defs.ex3_4.ex3_4.type LEx 7 4 - matita.lambdadelta.ground_1.types.defs.ex4.ex4.type LEx 5 1 - matita.lambdadelta.ground_1.types.defs.ex4_2.ex4_2.type LEx 6 2 - matita.lambdadelta.ground_1.types.defs.ex4_3.ex4_3.type LEx 7 3 - matita.lambdadelta.ground_1.types.defs.ex4_4.ex4_4.type LEx 8 4 - matita.lambdadelta.ground_1.types.defs.ex4_5.ex4_5.type LEx 9 5 - matita.lambdadelta.ground_1.types.defs.ex5_3.ex5_3.type LEx 8 3 - matita.lambdadelta.ground_1.types.defs.ex6_6.ex6_6.type LEx 12 6 - matita.lambdadelta.ground_1.types.defs.and3.and3.type LAnd 3 0 - matita.lambdadelta.ground_1.types.defs.or3.or3.type LOr 3 0 - matita.lambdadelta.ground_1.types.defs.or4.or4.type LOr 4 0 + $(devel.ground1).types.defs.ex_2.ex_2.type LEx 3 2 + $(devel.ground1).types.defs.ex_3.ex_3.type LEx 4 3 + $(devel.ground1).types.defs.ex2_2.ex2_2.type LEx 4 2 + $(devel.ground1).types.defs.ex2_3.ex2_3.type LEx 5 3 + $(devel.ground1).types.defs.ex3.ex3.type LEx 4 1 + $(devel.ground1).types.defs.ex3_2.ex3_2.type LEx 5 2 + $(devel.ground1).types.defs.ex3_3.ex3_3.type LEx 6 3 + $(devel.ground1).types.defs.ex3_4.ex3_4.type LEx 7 4 + $(devel.ground1).types.defs.ex4.ex4.type LEx 5 1 + $(devel.ground1).types.defs.ex4_2.ex4_2.type LEx 6 2 + $(devel.ground1).types.defs.ex4_3.ex4_3.type LEx 7 3 + $(devel.ground1).types.defs.ex4_4.ex4_4.type LEx 8 4 + $(devel.ground1).types.defs.ex4_5.ex4_5.type LEx 9 5 + $(devel.ground1).types.defs.ex5_3.ex5_3.type LEx 8 3 + $(devel.ground1).types.defs.ex6_6.ex6_6.type LEx 12 6 + $(devel.ground1).types.defs.and3.and3.type LAnd 3 0 + $(devel.ground1).types.defs.or3.or3.type LOr 3 0 + $(devel.ground1).types.defs.or4.or4.type LOr 4 0 - matita.lambdadelta.ground_1.blt.defs.blt.blt.type FunLt 2 0 - matita.lambdadelta.ground_1.plist.defs.papp.papp.type Append 2 0 - matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type RevConsB 3 0 - matita.lambdadelta.ground_1.plist.defs.PList.PCons.type ConsB 3 0 - matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type Succ 1 0 + $(devel.ground1).blt.defs.blt.blt.type FunLt 2 0 + $(devel.ground1).plist.defs.papp.papp.type Append 2 0 + $(devel.ground1).plist.defs.PConsTail.PConsTail.type RevConsB 3 0 + $(devel.ground1).plist.defs.PList.PCons.type ConsB 3 0 + $(devel.ground1).plist.defs.Ss.Ss.type Succ 1 0
diff --git a/matita/components/binaries/matex/test/ground_1.sty b/matita/components/binaries/matex/test/ground_1.sty index 58f2592de..e1da3f4af 100644 --- a/matita/components/binaries/matex/test/ground_1.sty +++ b/matita/components/binaries/matex/test/ground_1.sty @@ -1,25 +1,28 @@ \NeedsTeXFormat{LaTeX2e}[1995/12/01] \ProvidesPackage{ground_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/ground_1/"] \RequirePackage{matex} +\let\bigtimes\undefined +\RequirePackage{mathabx} \ExecuteOptions{} \ProcessOptions* \makeatletter -\newcommand*\ld@cm[1]{\setpunctlink{,}{#1}} -\newcommand*\ld@oa[1]{\setopenlink{\langle}{#1}} -\newcommand*\ld@ca[1]{\setcloselink{\rangle}{#1}} +\newcommand*\ld@cm[1]{\mathpunct{,}} +\newcommand*\ld@oa[1]{\mathopen{\langle}} +\newcommand*\ld@ca[1]{\mathclose{\rangle}} -\newcommand*\ld@append[1]{\setbinlink{@}{#1}} -\newcommand*\ld@cons[1]{\setbinlink{\copyright}{#1}} +\newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}} +\newcommand*\ld@cons[1]{\setbinlink{\oright}{#1}} \newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}} +\newcommand*\ld@revcons[1]{\setbinlink{\oleft}{#1}} -\newcommand*\ld@tupleB[3]{\ld@oa{#1}#2\ld@cm{#1}#3\ld@ca{#1}} +\newcommand*\ld@tuple@b[3]{\ld@oa{#1}#2\ld@cm{#1}#3\ld@ca{#1}} \newcommand*\Append[3]{#2\ld@append{#1}#3} -\newcommand*\ConsB[4]{\ld@tupleB{#1}{#2}{#3}\ld@cons{#1}#4} +\newcommand*\ConsB[4]{\ld@tuple@b{#1}{#2}{#3}\ld@cons{#1}#4} \newcommand*\FunLt[3]{#2\ld@funlt{#1}#3} -\newcommand*\RevConsB[4]{#2\ld@cons{#1}\ld@tupleB{#1}{#3}{#4}} +\newcommand*\RevConsB[4]{#2\ld@revcons{#1}\ld@tuple@b{#1}{#3}{#4}} \makeatother diff --git a/matita/components/binaries/matex/test/legacy_1.conf.xml b/matita/components/binaries/matex/test/legacy_1.conf.xml index 606b6b776..5dc489ea4 100644 --- a/matita/components/binaries/matex/test/legacy_1.conf.xml +++ b/matita/components/binaries/matex/test/legacy_1.conf.xml @@ -1,18 +1,21 @@ +
+ matita.lambdadelta.legacy_1 +
- matita.lambdadelta.legacy_1.coq.defs.ex.ex.type LEx 2 1 - matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type LEx 3 1 - matita.lambdadelta.legacy_1.coq.defs.land.land.type LAnd 2 0 - matita.lambdadelta.legacy_1.coq.defs.or.or.type LOr 2 0 + $(devel.legacy1).coq.defs.ex.ex.type LEx 2 1 + $(devel.legacy1).coq.defs.ex2.ex2.type LEx 3 1 + $(devel.legacy1).coq.defs.land.land.type LAnd 2 0 + $(devel.legacy1).coq.defs.or.or.type LOr 2 0 - matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3 0 - matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2 0 - matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2 0 - matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2 0 - matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1 0 - matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1 0 - matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2 0 - matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1 0 + $(devel.legacy1).coq.defs.eq.eq.type EQ 3 0 + $(devel.legacy1).coq.defs.le.le.type LE 2 0 + $(devel.legacy1).coq.defs.lt.type LT 2 0 + $(devel.legacy1).coq.defs.minus.minus.type Minus 2 0 + $(devel.legacy1).coq.defs.nat.S.type Succ 1 0 + $(devel.legacy1).coq.defs.not.type LNot 1 0 + $(devel.legacy1).coq.defs.plus.plus.type Plus 2 0 + $(devel.legacy1).coq.defs.pred.type Pred 1 0
diff --git a/matita/components/binaries/matex/test/legacy_1.sty b/matita/components/binaries/matex/test/legacy_1.sty index 0ee778345..45d3199cb 100644 --- a/matita/components/binaries/matex/test/legacy_1.sty +++ b/matita/components/binaries/matex/test/legacy_1.sty @@ -1,7 +1,6 @@ \NeedsTeXFormat{LaTeX2e}[1995/12/01] \ProvidesPackage{legacy_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/legacy_1/"] \RequirePackage{matex} -\RequirePackage{fdsymbol} \ExecuteOptions{} \ProcessOptions* @@ -20,8 +19,8 @@ \newcommand*\ld@minus[1]{\setbinlink{-}{#1}} \newcommand*\ld@lnot[1]{\setoplink{\lnot}{#1}} \newcommand*\ld@plus[1]{\setbinlink{+}{#1}} -\newcommand*\ld@pred[1]{\setoplink{\downspoon}{#1}} -\newcommand*\ld@succ[1]{\setoplink{\upspoon}{#1}} +\newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}} +\newcommand*\ld@succ[1]{\setoplink{\cirmid}{#1}} \newcommand*\ld@list[2]{\ma@list\relax\ma@arg{#1{#2}}\relax} -- 2.39.2