Before revision: This formula then turns into: , where [B]total le [A]total.
After revision: This formula then turns into: , where [B]total ≤ [A]total.