diff -r 69ec99b14ac9 -r 2de3cf684ba0 thys/Paper/document/root.tex
--- a/thys/Paper/document/root.tex	Wed Mar 16 10:02:19 2016 +0000
+++ b/thys/Paper/document/root.tex	Fri Mar 18 01:26:14 2016 +0000
@@ -14,6 +14,8 @@
 \usepackage{url}
 \usepackage{color}
 
+\usepackage{mathtools}
+
 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}
 
 \urlstyle{rm}
@@ -26,7 +28,8 @@
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
-%%\renewcommand{\isacharprime}{\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}}
+\renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}}
+%%\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}}
 
 \definecolor{mygrey}{rgb}{.80,.80,.80}
 \def\Brz{Brzozowski}