fosdem2024_bigint: improve latex escaping for dia
[libreriscv.git] / conferences / fosdem2024 / fosdem2024_bigint / bigint-add-pipe.dia
index 7ec8fa3b6edd83e3db2daa38ae3d0f35266ca67c..9935cdc22ec9f5f9c14f6e726faeb2dfa4d25520 100644 (file)
@@ -690,7 +690,7 @@ add ops#</dia:string>
       <dia:attribute name="text">
         <dia:composite type="text">
           <dia:attribute name="string">
-            <dia:string>#latex:\pause#</dia:string>
+            <dia:string>#latexcmd:\pause#</dia:string>
           </dia:attribute>
           <dia:attribute name="font">
             <dia:font family="sans" style="0" name="Helvetica"/>
@@ -1046,7 +1046,7 @@ adde ops#</dia:string>
       <dia:attribute name="text">
         <dia:composite type="text">
           <dia:attribute name="string">
-            <dia:string>#latex:\onslide&lt;1-&gt;#</dia:string>
+            <dia:string>#latexcmd:\onslide&lt;1-&gt;#</dia:string>
           </dia:attribute>
           <dia:attribute name="font">
             <dia:font family="sans" style="0" name="Helvetica"/>