fix typos in documentation: formulae

1 files changed, 1 insertions, 1 deletions

diff --git a/mathcomp/ssreflect/binomial.v b/mathcomp/ssreflect/binomial.v
index 2af7953..aef8e27 100644
--- a/mathcomp/ssreflect/binomial.v
+++ b/mathcomp/ssreflect/binomial.v
@@ -8,7 +8,7 @@ From mathcomp Require Import div fintype tuple finfun bigop prime finset.
 (*   'C(n, m) == the binomial coefficient n choose m.                         *)
 (*     n ^_ m == the falling (or lower) factorial of n with m terms, i.e.,    *)
 (*               the product n * (n - 1) * ... * (n - m + 1).                 *)
-(*               Note that n ^_ m = 0 if m > n, and 'C(n, m) = n ^_ m %/ m/!. *)
+(*               Note that n ^_ m = 0 if m > n, and 'C(n, m) = n ^_ m %/ m`!. *)
 (*                                                                            *)
 (* In additions to the properties of these functions, we prove a few seminal  *)
 (* results such as triangular_sum, Wilson and Pascal; their proofs are good   *)