riscv · Timmmm · Nov 25, 2025 · Nov 26, 2025
diff --git a/src/riscv-privileged.adoc b/src/riscv-privileged.adoc
@@ -47,16 +47,10 @@ endif::[]
 :hide-uri-scheme:
 :stem: latexmath
 :footnote:
-:le: &#8804;
-:ge: &#8805;
-:ne: &#8800;
-:approx: &#8776;
-:inf: &#8734;
-:circ: &#x25CB;
-:bullet: &#x2219;
-:times: &#x00D7;
 :imagesdir: images
 
+include::symbols.adoc[]
+
 _Contributors to all versions of the spec in alphabetical order (please contact editors to suggest corrections):
 Krste Asanović,
 Peter Ashenden,

diff --git a/src/riscv-unprivileged.adoc b/src/riscv-unprivileged.adoc
@@ -44,17 +44,11 @@ endif::[]
 :hide-uri-scheme:
 :stem: latexmath
 :footnote:
-:le: &#8804;
-:ge: &#8805;
-:ne: &#8800;
-:approx: &#8776;
-:inf: &#8734;
-:circ: &#x2218;
-:bullet: &#x2219;
-:times: &#x00D7;
 :csrname: envcfg
 :imagesdir: images
 
+include::symbols.adoc[]
+
 _Contributors to all versions of the spec in alphabetical order (please contact editors to suggest corrections):
 Arvind,
 Krste Asanović,

diff --git a/src/symbols.adoc b/src/symbols.adoc
@@ -0,0 +1,10 @@
+// Macros that can be used in place of unicode characters to make writing them
+// easier, e.g. "X {ge} Y".
+:le: ≤
+:ge: ≥
+:ne: ≠
+:approx: ≈
+:inf: ∞
+:circ: ○
+:bullet: ∙
+:times: ×