From 8c6b6247ccf8401311aed5941e0dd0e9b9835cb7 Mon Sep 17 00:00:00 2001
From: John Winans <john@winans.org>
Date: Sat, 19 May 2018 15:17:08 -0500
Subject: [PATCH] Add a hex command.

---
 book/insnformats.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/book/insnformats.tex b/book/insnformats.tex
index dd1d135..7d6d68b 100644
--- a/book/insnformats.tex
+++ b/book/insnformats.tex
@@ -549,3 +549,5 @@
 \newcommand\insn[1]{{\tt #1}}
 
 \newcommand\rvddt{{\tt rvddt}}
+
+\newcommand\hex[1]{{\tt 0x#1}}