Change hex integers to mathtt font (to enable length comparison).

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-02-12 12:54:48 +00:00
parent d1ead6560d
commit 50720eadb6
1 changed files with 2 additions and 2 deletions

View File

@ -581,7 +581,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
\newcommand{\mantissa}{\mathsf{mantissa}}
\newcommand{\ToCompact}{\mathsf{ToCompact}}
\newcommand{\ToTarget}{\mathsf{ToTarget}}
\newcommand{\hexint}[1]{\mathbf{0x{#1}}}
\newcommand{\hexint}[1]{\mathtt{0x{#1}}}
\newcommand{\dontcare}{\kern -0.06em\raisebox{0.1ex}{\footnotesize{$\times$}}}
\newcommand{\ascii}[1]{\textbf{``\texttt{#1}"}}
\newcommand{\Justthebox}[2][-1.3ex]{\;\raisebox{#1}{\usebox{#2}}\;}
@ -1514,7 +1514,7 @@ $S \union T$ means the type corresponding to the set union of $S$ and $T$.
$\byteseqs$ means the type of bit sequences constrained to be of length
a multiple of 8 bits.
$\hexint{}$ followed by a string of \textbf{boldface} hexadecimal
$\hexint{}$ followed by a string of $\mathtt{monospace}$ hexadecimal
digits means the corresponding integer converted from hexadecimal.
$\ascii{...}$ means the given string represented as a