--- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Fri Apr 24 13:06:17 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h Fri Apr 24 16:15:34 1998 +0200
@@ -123,102 +123,102 @@
/* BEGIN_OF_HI_TABLE */
char *translationTableHi[END_HI_TABLE - START_HI_TABLE + 1][2] = {
- {" " ,"\\ \\ "},
- {"\\Gamma" ,"\\mbox{$\\Gamma$}"},
- {"\\Delta" ,"\\mbox{$\\Delta$}"},
- {"\\Theta" ,"\\mbox{$\\Theta$}"},
- {"LAM " ,"\\mbox{$\\Lambda$}"},
- {"\\Pi" ,"\\mbox{$\\Pi$}"},
- {"\\Sigma" ,"\\mbox{$\\Sigma$}"},
- {"\\Phi" ,"\\mbox{$\\Phi$}"},
- {"\\Psi" ,"\\mbox{$\\Psi$}"},
- {"\\Omega" ,"\\mbox{$\\Omega$}"},
- {"'a" ,"\\mbox{$\\alpha$}"},
- {"'b" ,"\\mbox{$\\beta$}"},
- {"'c" ,"\\mbox{$\\gamma$}"},
- {"\\delta" ,"\\mbox{$\\delta$}"},
- {"@" ,"\\mbox{$\\varepsilon$}"},
- {"\\zeta" ,"\\mbox{$\\zeta$}"},
- {"\\eta" ,"\\mbox{$\\eta$}"},
- {"\\vartheta" ,"\\mbox{$\\vartheta$}"},
- {"\\kappa" ,"\\mbox{$\\kappa$}"},
- {"%" ,"\\mbox{$\\lambda$}"},
- {"\\mu" ,"\\mbox{$\\mu$}"},
- {"\\nu" ,"\\mbox{$\\nu$}"},
- {"\\xi" ,"\\mbox{$\\xi$}"},
- {"\\p" ,"\\mbox{$\\pi$}"},
- {"'r" ,"\\mbox{$\\rho$}"},
- {"'s" ,"\\mbox{$\\sigma$}"},
- {"'t" ,"\\mbox{$\\tau$}"},
- {"\\varphi" ,"\\mbox{$\\varphi$}"},
- {"\\chi" ,"\\mbox{$\\chi$}"},
- {"\\psi" ,"\\mbox{$\\psi$}"},
- {"\\omega" ,"\\mbox{$\\omega$}"},
- {"~ " ,"\\mbox{$\\neg$}"},
- {"& " ,"\\mbox{$\\hspace{-.185ex}\\wedge\\hspace{-.185ex}$}\\ "},
- {"| " ,"\\mbox{$\\hspace{-.185ex}\\vee\\hspace{-.185ex}$}\\ "},
- {"!" ,"\\mbox{$\\hspace{-.07ex}\\forall$}"},
- {"? " ,"\\mbox{$\\hspace{-.07ex}\\exists$}"},
- {"!!" ,"\\mbox{$\\bigwedge$}"},
- {"\\lceil" ,"\\mbox{$\\lceil$}"},
- {"\\rceil" ,"\\mbox{$\\rceil$}"},
- {"\\lfloor" ,"\\mbox{$\\lfloor$}"},
- {"\\rfloor" ,"\\mbox{$\\rfloor$}"},
- {"|-" ,"\\mbox{$\\hspace{.49ex}\\vdash\\hspace{.49ex}$}"},
- {"|=" ,"\\mbox{$\\models$}"},
- {"[|" ,"\\mbox{$[\\![\\hspace{.32ex}$}"},
- {"|]" ,"\\mbox{$\\hspace{.32ex}]\\!]$}"},
- {"." ,"\\mbox{$\\hspace{.28ex}\\cdot\\hspace{.28ex}$}"},
- {":" ,"\\hspace{.1ex}\\mbox{$\\in$}\\hspace{.1ex}"},
- {" \\subseteq " ,"\\mbox{$\\subseteq$}"},
- {" Int " ,"\\mbox{$\\cap$}"},
- {" Un " ,"\\mbox{$\\cup$}"},
- {"INT " ,"\\mbox{$\\bigcap$}"},
- {"UN " ,"\\mbox{$\\bigcup$}"},
- {"\\sqcap" ,"\\mbox{$\\hspace{.29ex}\\sqcap\\hspace{.29ex}$}"},
- {"\\sqcup" ,"\\mbox{$\\hspace{.29ex}\\sqcup\\hspace{.29ex}$}"},
- {"glb " ,"\\mbox{$\\overline{|\\,\\,|}$}"},
- {"LUB " ,"\\mbox{$\\bigsqcup$}"},
- {"UU" ,"\\mbox{$\\bot$}"},
- {".=" ,"\\mbox{$\\doteq$}"},
- {"==" ,"\\mbox{$\\hspace{.29ex}\\equiv\\hspace{.29ex}$}"},
- {"~=" ,"\\mbox{$\\not=$}"},
- {"\\sqsubset" ,"\\mbox{$\\hspace{.29ex}\\sqsubset\\hspace{.29ex}$}"},
- {"<<" ,"\\mbox{$\\hspace{.29ex}\\sqsubseteq\\hspace{.29ex}$}"},
- {"<:" ,"\\mbox{$\\hspace{.29ex}\\prec\\hspace{.29ex}$}\\ "},
- {"<=:" ,"\\mbox{$\\hspace{.29ex}\\preceq\\hspace{.29ex}$}"},
- {":>" ,"\\mbox{$\\hspace{.29ex}\\succ\\hspace{.29ex}$}\\ "},
- {"~~" ,"\\mbox{$\\hspace{.29ex}\\approx\\hspace{.29ex}$}"},
- {"\\sim " ,"\\mbox{$\\hspace{.29ex}\\sim\\hspace{.29ex}$}\\ "},
- {"\\simeq" ,"\\mbox{$\\hspace{.29ex}\\simeq\\hspace{.29ex}$}"},
- {"<=" ,"\\mbox{$\\hspace{.29ex}\\le\\hspace{.29ex}$}"},
- {"::" ,"\\mbox{$:\\hspace{-.07ex}:$}"},
- {"<-" ,"\\mbox{$\\leftarrow$}"},
- {"-" ,"\\mbox{$-$}"},
- {"->" ,"\\mbox{$\\rightarrow$}"},
- {"<=" ,"\\mbox{$\\Leftarrow$}"},
- {"=" ,"\\mbox{$=$}"},
- {"=>" ,"\\mbox{$\\hspace{.12ex}\\Rightarrow$}"},
- {"\\frown" ,"\\mbox{$\\frown$}"},
- {"|->" ,"\\mbox{$\\mapsto$}"},
- {"~>" ,"\\mbox{$\\hspace{.05ex}\\leadsto$}"},
- {"\\uparrow" ,"\\mbox{$\\uparrow$}"},
- {"\\downarrow" ,"\\mbox{$\\downarrow$}"},
- {"~:" ,"\\mbox{$\\notin$}"},
- {"*" ,"\\mbox{$\\hspace{-.29ex}\\times\\hspace{-.29ex}$}"},
- {"++" ,"\\mbox{$\\hspace{.29ex}\\oplus\\hspace{.29ex}$}"},
- {"--" ,"\\mbox{$\\hspace{.29ex}\\ominus\\hspace{.29ex}$}"},
- {"**" ,"\\mbox{$\\hspace{.29ex}\\otimes\\hspace{.29ex}$}"},
- {"//" ,"\\mbox{$\\hspace{.29ex}\\oslash\\hspace{.29ex}$}"},
- {"\\subset" ,"\\mbox{$\\subset$}"},
- {"\\infty" ,"\\mbox{$\\infty$}"},
- {"\\Box" ,"\\mbox{$\\Box$}"},
- {"<>" ,"\\mbox{$\\hspace{.29ex}\\Diamond\\hspace{.29ex}$}"},
- {" o " ,"\\mbox{$\\circ$}"},
- {"\\bullet" ,"\\mbox{$\\bullet$}"},
- {"||" ,"\\mbox{$\\parallel$}"},
- {"\\tick" ,"\\mbox{$\\surd$}"},
- {"\\filter" ,"\\mbox{\\copyright}"}
+ {" " ,"\\ \\ "},
+ {"\\Gamma" ,"\\mbox{$\\Gamma$}"},
+ {"\\Delta" ,"\\mbox{$\\Delta$}"},
+ {"\\Theta" ,"\\mbox{$\\Theta$}"},
+ {"LAM " ,"\\mbox{$\\Lambda$}"},
+ {"\\Pi" ,"\\mbox{$\\Pi$}"},
+ {"\\Sigma" ,"\\mbox{$\\Sigma$}"},
+ {"\\Phi" ,"\\mbox{$\\Phi$}"},
+ {"\\Psi" ,"\\mbox{$\\Psi$}"},
+ {"\\Omega" ,"\\mbox{$\\Omega$}"},
+ {"'a" ,"\\mbox{$\\alpha$}"},
+ {"'b" ,"\\mbox{$\\beta$}"},
+ {"'c" ,"\\mbox{$\\gamma$}"},
+ {"\\delta" ,"\\mbox{$\\delta$}"},
+ {"@" ,"\\mbox{$\\varepsilon$}"},
+ {"\\zeta" ,"\\mbox{$\\zeta$}"},
+ {"\\eta" ,"\\mbox{$\\eta$}"},
+ {"\\vartheta" ,"\\mbox{$\\vartheta$}"},
+ {"\\kappa" ,"\\mbox{$\\kappa$}"},
+ {"%" ,"\\mbox{$\\lambda$}"},
+ {"\\mu" ,"\\mbox{$\\mu$}"},
+ {"\\nu" ,"\\mbox{$\\nu$}"},
+ {"\\xi" ,"\\mbox{$\\xi$}"},
+ {"\\p" ,"\\mbox{$\\pi$}"},
+ {"'r" ,"\\mbox{$\\rho$}"},
+ {"'s" ,"\\mbox{$\\sigma$}"},
+ {"'t" ,"\\mbox{$\\tau$}"},
+ {"\\varphi" ,"\\mbox{$\\varphi$}"},
+ {"\\chi" ,"\\mbox{$\\chi$}"},
+ {"\\psi" ,"\\mbox{$\\psi$}"},
+ {"\\omega" ,"\\mbox{$\\omega$}"},
+ {"~ " ,"\\mbox{$\\neg$}"},
+ {"& " ,"\\mbox{$\\hspace{-.185ex}\\wedge\\hspace{-.185ex}$}\\ "},
+ {"| " ,"\\mbox{$\\hspace{-.185ex}\\vee\\hspace{-.185ex}$}\\ "},
+ {"!" ,"\\mbox{$\\hspace{-.07ex}\\forall$}"},
+ {"? " ,"\\mbox{$\\hspace{-.07ex}\\exists$}"},
+ {"!!" ,"\\mbox{$\\bigwedge$}"},
+ {"\\lceil" ,"\\mbox{$\\lceil$}"},
+ {"\\rceil" ,"\\mbox{$\\rceil$}"},
+ {"\\lfloor" ,"\\mbox{$\\lfloor$}"},
+ {"\\rfloor" ,"\\mbox{$\\rfloor$}"},
+ {"|-" ,"\\mbox{$\\hspace{.49ex}\\vdash\\hspace{.49ex}$}"},
+ {"|=" ,"\\mbox{$\\models$}"},
+ {"[|" ,"\\mbox{$[\\![\\hspace{.32ex}$}"},
+ {"|]" ,"\\mbox{$\\hspace{.32ex}]\\!]$}"},
+ {"." ,"\\mbox{$\\hspace{.28ex}\\cdot\\hspace{.28ex}$}"},
+ {":" ,"\\hspace{.1ex}\\mbox{$\\in$}\\hspace{.1ex}"},
+ {" <= " ,"\\mbox{$\\subseteq$}"},
+ {" Int " ,"\\mbox{$\\cap$}"},
+ {" Un " ,"\\mbox{$\\cup$}"},
+ {"INT " ,"\\mbox{$\\bigcap$}"},
+ {"UN " ,"\\mbox{$\\bigcup$}"},
+ {"\\sqcap" ,"\\mbox{$\\hspace{.29ex}\\sqcap\\hspace{.29ex}$}"},
+ {"\\sqcup" ,"\\mbox{$\\hspace{.29ex}\\sqcup\\hspace{.29ex}$}"},
+ {"glb " ,"\\mbox{$\\overline{|\\,\\,|}$}"},
+ {"LUB " ,"\\mbox{$\\bigsqcup$}"},
+ {"UU" ,"\\mbox{$\\bot$}"},
+ {".=" ,"\\mbox{$\\doteq$}"},
+ {"==" ,"\\mbox{$\\hspace{.29ex}\\equiv\\hspace{.29ex}$}"},
+ {"~=" ,"\\mbox{$\\not=$}"},
+ {"\\sqsubset" ,"\\mbox{$\\hspace{.29ex}\\sqsubset\\hspace{.29ex}$}"},
+ {"<<" ,"\\mbox{$\\hspace{.29ex}\\sqsubseteq\\hspace{.29ex}$}"},
+ {"<:" ,"\\mbox{$\\hspace{.29ex}\\prec\\hspace{.29ex}$}\\ "},
+ {"<=:" ,"\\mbox{$\\hspace{.29ex}\\preceq\\hspace{.29ex}$}"},
+ {":>" ,"\\mbox{$\\hspace{.29ex}\\succ\\hspace{.29ex}$}\\ "},
+ {"~~" ,"\\mbox{$\\hspace{.29ex}\\approx\\hspace{.29ex}$}"},
+ {"\\sim " ,"\\mbox{$\\hspace{.29ex}\\sim\\hspace{.29ex}$}\\ "},
+ {"\\simeq" ,"\\mbox{$\\hspace{.29ex}\\simeq\\hspace{.29ex}$}"},
+ {"<=" ,"\\mbox{$\\hspace{.29ex}\\le\\hspace{.29ex}$}"},
+ {"::" ,"\\mbox{$:\\hspace{-.07ex}:$}"},
+ {"<-" ,"\\mbox{$\\leftarrow$}"},
+ {"-" ,"\\mbox{$-$}"},
+ {"->" ,"\\mbox{$\\rightarrow$}"},
+ {"<=" ,"\\mbox{$\\Leftarrow$}"},
+ {"=" ,"\\mbox{$=$}"},
+ {"=>" ,"\\mbox{$\\hspace{.12ex}\\Rightarrow$}"},
+ {"\\frown" ,"\\mbox{$\\frown$}"},
+ {"|->" ,"\\mbox{$\\mapsto$}"},
+ {"~>" ,"\\mbox{$\\hspace{.05ex}\\leadsto$}"},
+ {"\\uparrow" ,"\\mbox{$\\uparrow$}"},
+ {"\\downarrow" ,"\\mbox{$\\downarrow$}"},
+ {"~:" ,"\\mbox{$\\notin$}"},
+ {"*" ,"\\mbox{$\\hspace{-.29ex}\\times\\hspace{-.29ex}$}"},
+ {"++" ,"\\mbox{$\\hspace{.29ex}\\oplus\\hspace{.29ex}$}"},
+ {"--" ,"\\mbox{$\\hspace{.29ex}\\ominus\\hspace{.29ex}$}"},
+ {"**" ,"\\mbox{$\\hspace{.29ex}\\otimes\\hspace{.29ex}$}"},
+ {"//" ,"\\mbox{$\\hspace{.29ex}\\oslash\\hspace{.29ex}$}"},
+ {"\\subset" ,"\\mbox{$\\subset$}"},
+ {"\\infty" ,"\\mbox{$\\infty$}"},
+ {"\\Box" ,"\\mbox{$\\Box$}"},
+ {"<>" ,"\\mbox{$\\hspace{.29ex}\\Diamond\\hspace{.29ex}$}"},
+ {" o " ,"\\mbox{$\\circ$}"},
+ {"\\bullet" ,"\\mbox{$\\bullet$}"},
+ {"||" ,"\\mbox{$\\parallel$}"},
+ {"\\tick" ,"\\mbox{$\\surd$}"},
+ {"\\filter" ,"\\mbox{\\copyright}"}
};
/* END_OF_HI_TABLE */