+\newcommand*\ld@and[1]{\setbinlink{\&}{#1}{}}
+\newcommand*\ld@lex[1]{\setordlink{\exists}{#1}}
+\newcommand*\ld@land[1]{\setrellink{\land}{#1}{}}
+\newcommand*\ld@lor[1]{\setrellink{\lor}{#1}{}}
+
+\newcommand*\ld@eq[1]{\setrellink{=}{#1}{}}
+\newcommand*\ld@le[1]{\setrellink{\le}{#1}{}}
+\newcommand*\ld@lt[1]{\setrellink{<}{#1}{}}
+\newcommand*\ld@minus[1]{\setbinlink{-}{#1}{}}
+\newcommand*\ld@lnot[1]{\setoplink{\lnot}{#1}{}}
+\newcommand*\ld@plus[2]{\setbinlink{+}{#1}{#2}}
+\newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}{}}
+\newcommand*\ld@succ[2]{\setoplink{\cirmid}{#1}{#2}}
+
+\newcommand*\ld@list[2]{\ma@list\relax\ma@arg{#1{#2}}\relax}
+
+\newcommand*\LAnd[1]{\ld@list\ld@land{#1}}
+\newcommand*\LOr[1]{\ld@list\ld@lor{#1}}
+\newcommand*\LEx[1]{\ld@lex{#1}\ma@list\relax\ma@skip\relax{\ld@list\ld@and{#1}}}
+
+\newcommand*\EQ[4]{#3\ld@eq{#1}#4}
+\newcommand*\LE[3]{#2\ld@le{#1}#3}
+\newcommand*\LT[3]{#2\ld@lt{#1}#3}
+\newcommand*\Minus[3]{#2\ld@minus{#1}#3}
+\newcommand*\LNot[2]{\ld@lnot{#1}#2}
+\newcommand*\Plus[3]{#2\ld@plus{#1}{}#3}
+\newcommand*\Pred[2]{\ld@pred{#1}#2}
+\renewcommand*\Succ[2]{\ld@succ{#1}{}#2}
+