Gkappa: escape backslashes

Author: pirbo

man/gkappa_sources/ambiguous_connectiveness.figs.ml

@@ -31,11 +31,11 @@ let build_rule = build_rule ~hgap:(Some 0.4)
 let [ (r, [ (left, []); (right, []) ]) ], signature =
   add_in_signature
     [
-      ( "$\text{\raisebox{.5ex}{\agent{\small A}{}}}$",
+      ( "$\\text{\\raisebox{.5ex}{\\agent{\\small A}{}}}$",
         [ Shape "hexagon" ],
         [
-          "$\text{\site{\small l}{}{}}$", [ Direction ne ], [];
-          "$\text{\site{\small r}{}{}}$", [ Direction se ], [];
+          "$\\text{\\site{\\small l}{}{}}$", [ Direction ne ], [];
+          "$\\text{\\site{\\small r}{}{}}$", [ Direction se ], [];
         ] );
     ]
     (snd (init config))
@@ -102,7 +102,7 @@ let f bool =
             (if bool then
                "$1$"
              else
-               "$1\{1\}$");
+               "$1\\{1\\}$");
         ]
       (fun _ -> ([], [], []), lhs')
       (fun _ -> ([], [], []), rhs')

man/gkappa_sources/syntax.figs.ml

@@ -32,16 +32,16 @@ let config =
 let [ (a, [ (x, []); (y, [ yu; yp ]); (z, [ zu; zp ]) ]) ], signature =
   add_in_signature
     [
-      ( "$\texttt{A}$",
+      ( "$\\texttt{A}$",
         [ Shape "ellipse" ],
         [
-          "$\texttt{x}$", [ Direction n ], [];
-          ( "$\texttt{y}$",
+          "$\\texttt{x}$", [ Direction n ], [];
+          ( "$\\texttt{y}$",
             [ Direction se ],
-            [ "$\texttt{u}$", []; "$\texttt{p}$", [] ] );
-          ( "$\texttt{z}$",
+            [ "$\\texttt{u}$", []; "$\\texttt{p}$", [] ] );
+          ( "$\\texttt{z}$",
             [ Direction sw ],
-            [ "$\texttt{0}$", []; "$\texttt{1}$", [] ] );
+            [ "$\\texttt{0}$", []; "$\\texttt{1}$", [] ] );
         ] );
     ]
     (snd (init config))

man/gkappa_sources/tutorial.figs.ml

@@ -36,22 +36,22 @@ let ( [ (a, [ (a_x, []) ]); (b, [ (b_x, []); (b_y, [ b_y_u; b_y_p ]) ]) ],
       signature ) =
   add_in_signature
     [
-      ( "$\text{\agent{A}{}}$",
+      ( "$\\text{\\agent{A}{}}$",
         [
           Shape "circle";
           Width (0.13 *. config.agent_width);
           Height (0.16 *. config.agent_width);
         ],
-        [ "$\text{\site{l}{}{}}$", [ Direction e ], [] ] );
-      ( "$\text{\agent{B}{}}$",
+        [ "$\\text{\\site{l}{}{}}$", [ Direction e ], [] ] );
+      ( "$\\text{\\agent{B}{}}$",
         [
           Shape "rectangle";
           Height (0.24 *. config.agent_height);
           Width (0.15 *. config.agent_width);
         ],
         [
-          "$\text{\site{r}{}{}}$", [ Direction w ], [];
-          ( "$\text{\site{l}{}{}}$",
+          "$\\text{\\site{r}{}{}}$", [ Direction w ], [];
+          ( "$\\text{\\site{l}{}{}}$",
             [ Direction e ],
             [ "u", [ Direction ne ]; "p", [ Direction ne ] ] );
         ] );
@@ -148,15 +148,15 @@ let _ = dump "ref.ladot" graph
 let [ (a, [ (a_n, []); (a_e, [ u; p ]) ]) ], signature =
   add_in_signature
     [
-      ( "$\text{\agent{A}{}}$",
+      ( "$\\text{\\agent{A}{}}$",
         [
           Shape "circle";
           Width (0.13 *. config.agent_width);
           Height (0.16 *. config.agent_width);
         ],
         [
-          "$\text{\site{n}{}{}}$", [ Direction n ], [];
-          ( "$\text{\site{n}{}{}}$",
+          "$\\text{\\site{n}{}{}}$", [ Direction n ], [];
+          ( "$\\text{\\site{n}{}{}}$",
             [ Direction e ],
             [ "u", [ Direction ne ]; "p", [ Direction ne ] ] );
         ] );
@@ -198,15 +198,15 @@ let _ = build_rule ~file:"auto.ladot" ~directives:[ Comment "$k$" ] g left right
 let [ (a, [ (a_x, []); (a_y, []) ]) ], signature =
   add_in_signature
     [
-      ( "$\text{\agent{A}{}}$",
+      ( "$\\text{\\agent{A}{}}$",
         [
           Shape "rectangle";
           Width (0.10 *. config.agent_width);
           Height (0.16 *. config.agent_width);
         ],
         [
-          "$\text{\site{a}{}{}}$", [ Direction ne ], [];
-          "$\text{\site{b}{}{}}$", [ Direction se ], [];
+          "$\\text{\\site{a}{}{}}$", [ Direction ne ], [];
+          "$\\text{\\site{b}{}{}}$", [ Direction se ], [];
         ] );
     ]
     (snd (init config))