--- a/doc/manual/source/conf.py	Wed Jul 24 11:34:04 2013 -0700
+++ b/doc/manual/source/conf.py	Wed Jul 24 15:49:21 2013 -0700
@@ -197,7 +197,7 @@
 #latex_show_urls = False
 
 # Additional stuff for the LaTeX preamble.
-#latex_preamble = ''
+latex_preamble = '\usepackage{amssymb}'
 
 # Documents to append as an appendix to all manuals.
 #latex_appendices = []

--- a/doc/manual/source/replace.txt	Wed Jul 24 11:34:04 2013 -0700
+++ b/doc/manual/source/replace.txt	Wed Jul 24 15:49:21 2013 -0700
@@ -1,3 +1,5 @@
 .. |ns3| replace:: *ns-3*
 
 .. |ns2| replace:: *ns-2*
+
+.. |check| replace:: :math:`\checkmark`

--- a/doc/manual/source/tracing.rst	Wed Jul 24 11:34:04 2013 -0700
+++ b/doc/manual/source/tracing.rst	Wed Jul 24 15:49:21 2013 -0700
@@ -1,7 +1,5 @@
 .. include:: replace.txt
 .. highlight:: cpp
-.. role:: raw-role(raw)
-   :format: html latex
 
 Tracing
 -------
@@ -347,13 +345,13 @@
 but we do strive to make them all work as similarly as possible; and whenever
 possible there are analogs for all methods in all classes.
 
-  +-----------------+----------------------+----------------------+
-  | \               |  pcap                |  ascii               |
-  +=================+======================+======================+
-  | Device Helper   | :raw-role:`✓` | :raw-role:`✓` | 
-  +-----------------+----------------------+----------------------+
-  | Protocol Helper | :raw-role:`✓` | :raw-role:`✓` |
-  +-----------------+----------------------+----------------------+
+  +-----------------+---------+---------+
+  |                 |  pcap   |  ascii  |
+  +=================+=========+=========+
+  | Device Helper   | |check| | |check| |
+  +-----------------+---------+---------+
+  | Protocol Helper | |check| | |check| |
+  +-----------------+---------+---------+
 
 We use an approach called a ``mixin`` to add tracing functionality to our helper
 classes. A ``mixin`` is a class that provides functionality to that is