Handle Unicode characters ≈ and ◁

[paperdoorknob] / paperdoorknob.py

diff --git a/paperdoorknob.py b/paperdoorknob.py
index ed7813b36a8a0977e55744ba1fe9558ef92aeae8..5ad341f8658d75e1548a82b12e4416533c13931c 100644 (file)
--- a/paperdoorknob.py
+++ b/paperdoorknob.py
@@ -11,6 +11,7 @@ from spec import Spec
 
 def process(spec: Spec) -> None:
     spec.texout.write(br'''\documentclass{article}
+\usepackage{amssymb}
 \usepackage{booktabs}
 \usepackage{graphicx}
 \usepackage{longtable}