From f8d21c1c5fd29cb1e79fc426134374204e210e63 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Thu, 11 Jan 2018 08:40:01 -0500 Subject: [PATCH] summary: Correct height of pipes denoting length * src/current/include/calc-display.xsl (c:sum[@of], c:length-of): Add `\left', `\right'. * src/current/summary.xsl: Update "N.B." section. --- src/current/include/calc-display.xsl | 8 ++++---- src/current/summary.xsl | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/current/include/calc-display.xsl b/src/current/include/calc-display.xsl index 308d26cd..d40829f6 100644 --- a/src/current/include/calc-display.xsl +++ b/src/current/include/calc-display.xsl @@ -167,9 +167,9 @@ - ^{| + ^{\left| - |-1} + \right|-1} @@ -711,9 +711,9 @@ - |\left( + \left|\left( - \right)| + \right)\right| diff --git a/src/current/summary.xsl b/src/current/summary.xsl index 56e4d244..2a9ad785 100644 --- a/src/current/summary.xsl +++ b/src/current/summary.xsl @@ -2112,7 +2112,7 @@
Counting Vectors
- Let \(|V|\) = the number of values within the vector \(V\); this notation is + Let \(\left|V\right|\) = the number of values within the vector \(V\); this notation is used within certain summations. You may also see the following notations:
    @@ -2122,7 +2122,7 @@ count the number of swimming pools).
  • - \(\sum_{k=0}^{|V|-1} 1\) to count the number of values in vector \(V\). + \(\sum_{k=0}^{\left|V\right|-1} 1\) to count the number of values in vector \(V\).