check

defs.tex

@@ -207,7 +207,7 @@
 \newcommand{\GLOBAL}[1]{\key{Global}\LP#1\RP}
 \newcommand{\CGLOBAL}[1]{#1\LP\key{\%rip}\RP}
 \newcommand{\CNEG}[1]{\key{-}~#1}
-\newcommand{\CALL}[2]{\key{(Call}~#1~#2\code{)}}
+\newcommand{\CALL}[2]{\key{Call}\LP#1\code{, }#2\RP}
 \fi % pythonEd
 
 \if\edition\racketEd