diff --git a/source/numerics.tex b/source/numerics.tex
index 20d001d5a8..3d50ee017e 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -18420,7 +18420,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -18438,7 +18438,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -18457,7 +18457,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -18475,7 +18475,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -19262,7 +19262,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -19280,7 +19280,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \returns
@@ -19311,7 +19311,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
 
 \pnum
 \expects