--- a/thys/Paper/document/root.tex	Fri Mar 11 21:21:09 2016 +0000
+++ b/thys/Paper/document/root.tex	Sun Mar 13 01:07:34 2016 +0000
@@ -26,6 +26,7 @@
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
+\renewcommand{\isacharprime}{\mbox{$\mbox{}\!\!\mbox{$^\prime$}$}}
 
 \definecolor{mygrey}{rgb}{.80,.80,.80}
 \def\Brz{Brzozowski}