diff --git a/org.rodinp.handbook.feature/latex/img/bw/pror.png b/org.rodinp.handbook.feature/latex/img/bw/pror.png
new file mode 100644
index 0000000000000000000000000000000000000000..383b5ef605959e8bb6b1ee2523364fd434917c1c
Binary files /dev/null and b/org.rodinp.handbook.feature/latex/img/bw/pror.png differ