diff --git a/doc/Makefile b/doc/Makefile
index 87e3425..88fed90 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -21,7 +21,9 @@ doc_imgs_txt := $(patsubst %.dia, %.png, $(wildcard $(path_doc_img)/*.txt))
 
 doc_replace := s/<\/body>/<script type="text\/javascript" \
 	src="highlight.pack.js"><\/script><script type="text\/javascript" \
-	src="interactive.js"><\/script><\/body>/
+	src="interactive.js"><\/script><\/body>/\
+	;s/\&gt\;=/\&\#8805\;/g\
+	;s/\&gt\;=/\&\#8804\;/g\
 
 .PHONY: doc mkbuild-doc doc-img doc-pdf doc-info doc-plain doc-html