diff --git a/lib/Makefile.am b/lib/Makefile.am
index fec9ca8b4e..f45724df8d 100644
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -1063,6 +1063,7 @@ dist_imagesmath_DATA = \
 	images/math/rceil.png \
 	images/math/Re.png \
 	images/math/recorder.png \
+	images/math/restriction.png \
 	images/math/rfloor.png \
 	images/math/rhd.png \
 	images/math/rhd2.png \
diff --git a/lib/images/math/restriction.png b/lib/images/math/restriction.png
new file mode 100644
index 0000000000..1e58032237
Binary files /dev/null and b/lib/images/math/restriction.png differ