-\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[1]{\setbinlink{+}{#1}}
-\newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}}
-\newcommand*\ld@succ[1]{\setoplink{\cirmid}{#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}}