--- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Tue Sep 08 16:06:04 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Tue Sep 08 17:03:21 1998 +0200
@@ -154,7 +154,7 @@
{"\\chi" ,"\\mbox{$\\chi$}"},
{"\\psi" ,"\\mbox{$\\psi$}"},
{"\\omega" ,"\\mbox{$\\omega$}"},
- {"~ " ,"\\mbox{$\\neg$}"},
+ {"~ " ,"\\mbox{$\\hspace{-.33ex}\\neg$}"},
{"& " ,"\\mbox{$\\hspace{-.185ex}\\wedge\\hspace{-.185ex}$}\\ "},
{"| " ,"\\mbox{$\\hspace{-.185ex}\\vee\\hspace{-.185ex}$}\\ "},
{"!" ,"\\mbox{$\\hspace{-.07ex}\\forall$}"},
@@ -169,7 +169,7 @@
{"[|" ,"\\mbox{$[\\![\\hspace{.32ex}$}"},
{"|]" ,"\\mbox{$\\hspace{.32ex}]\\!]$}"},
{"." ,"\\mbox{$\\hspace{.28ex}\\cdot\\hspace{.28ex}$}"},
- {":" ,"\\hspace{.1ex}\\mbox{$\\in$}\\hspace{.1ex}"},
+ {":" ,"\\mbox{$\\hspace{.445ex}\\in\\hspace{.445ex}$}"},
{" <= " ,"\\mbox{$\\subseteq$}"},
{" Int " ,"\\mbox{$\\cap$}"},
{" Un " ,"\\mbox{$\\cup$}"},
@@ -179,10 +179,10 @@
{"\\sqcup" ,"\\mbox{$\\hspace{.29ex}\\sqcup\\hspace{.29ex}$}"},
{"glb " ,"\\mbox{$\\overline{|\\,\\,|}$}"},
{"LUB " ,"\\mbox{$\\bigsqcup$}"},
- {"UU" ,"\\mbox{$\\bot$}"},
+ {"UU" ,"\\mbox{$\\hspace{-.29ex}\\bot\\hspace{-.29ex}$}"},
{".=" ,"\\mbox{$\\doteq$}"},
{"==" ,"\\mbox{$\\hspace{.29ex}\\equiv\\hspace{.29ex}$}"},
- {"~=" ,"\\mbox{$\\not=$}"},
+ {"~=" ,"\\mbox{$\\hspace{-.34ex}\\not\\hspace{-.3ex}\\mbox{=}$}"},
{"\\sqsubset" ,"\\mbox{$\\hspace{.29ex}\\sqsubset\\hspace{.29ex}$}"},
{"<<" ,"\\mbox{$\\hspace{.29ex}\\sqsubseteq\\hspace{.29ex}$}"},
{"<:" ,"\\mbox{$\\hspace{.29ex}\\prec\\hspace{.29ex}$}\\ "},
@@ -204,7 +204,7 @@
{"~>" ,"\\mbox{$\\hspace{.05ex}\\leadsto$}"},
{"\\uparrow" ,"\\mbox{$\\uparrow$}"},
{"\\downarrow" ,"\\mbox{$\\downarrow$}"},
- {"~:" ,"\\mbox{$\\notin$}"},
+ {"~:" ,"\\mbox{$\\hspace{.445ex}\\notin\\hspace{.445ex}$}"},
{"*" ,"\\mbox{$\\hspace{-.29ex}\\times\\hspace{-.29ex}$}"},
{"++" ,"\\mbox{$\\hspace{.29ex}\\oplus\\hspace{.29ex}$}"},
{"--" ,"\\mbox{$\\hspace{.29ex}\\ominus\\hspace{.29ex}$}"},