diff --git a/mathics/doc/doc.py b/mathics/doc/doc.py
index c647d28f51..a864ddbb47 100644
--- a/mathics/doc/doc.py
+++ b/mathics/doc/doc.py
@@ -173,7 +173,7 @@ def escape_latex_code(text):
 
     text = escape_latex_output(text)
     escape_char = get_latex_escape_char(text)
-    return "\\lstinline%s%s%s" % (escape_char, text, escape_char)
+    return "%s%s%s" % (escape_char, text, escape_char)
 
 
 def escape_latex(text):
@@ -216,7 +216,7 @@ def repl(match):
                 text = r"\ " + text[1:]
             if text.endswith(" "):
                 text = text[:-1] + r"\ "
-            return "\\code{\\lstinline%s%s%s}" % (escape_char, text, escape_char)
+            return "\\code{%s%s%s}" % (escape_char, text, escape_char)
         else:
             # treat double '' literaly
             return "''"
@@ -251,8 +251,8 @@ def repl_list(match):
         text,
         [
             ("$", r"\$"),
-            ("\u22bc", "nand"),  # \barwedge isn't working
-            ("\u22bd", "nor"),   # \vebarr isn't working
+            ("\u22bc", r"$\not\land$"),
+            ("\u22bd", r"$\not\lor$"),
             ("\u03c0", r"$\pi$"),
             ("\u2265", r"$\ge$"),
             ("\u2264", r"$\le$"),
diff --git a/mathics/doc/tex/mathics.tex b/mathics/doc/tex/mathics.tex
index 1c083277df..864141100a 100644
--- a/mathics/doc/tex/mathics.tex
+++ b/mathics/doc/tex/mathics.tex
@@ -199,7 +199,7 @@
 	\end{minipage}%
 }
 
-\newcommand{\code}[1]{\hbadness=10000{\ttfamily #1}}
+\newcommand{\code}[1]{\hbadness=10000{#1}}
 \newcommand{\codevar}[1]{{\rmfamily #1}}
 \newcommand{\console}[1]{\hbadness=10000{\ttfamily #1}}