halloweenmath (25apr17)

git-svn-id: svn://tug.org/texlive/trunk@44043 c570f23f-e606-0410-a88d-b1316a301751

7 files changed, 50 insertions, 27 deletions

diff --git a/Master/texmf-dist/doc/latex/halloweenmath/00readme.txt b/Master/texmf-dist/doc/latex/halloweenmath/00readme.txt
index f211f14107b..9062c54982f 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/00readme.txt
+++ b/Master/texmf-dist/doc/latex/halloweenmath/00readme.txt
@@ -26,7 +26,7 @@ This file, after giving a brief description of the halloweenmath
 package, explains how to install it and how to generate its--alas, still
 incomplete!--documentation.
 
-April 16, 2017 (vers. 0.10)
+April 25, 2017 (vers. 0.10a)
 
 
 
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/Makefile b/Master/texmf-dist/doc/latex/halloweenmath/Makefile
index 41b9f8d8035..14862e19a65 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/Makefile
+++ b/Master/texmf-dist/doc/latex/halloweenmath/Makefile
@@ -1,12 +1,19 @@
 # makefile
 #
-# 2017 Apr 16
+# 2017 Apr 25
 #
 # Macro definitions
+#
+# - parameters:
 ROOT_NAME	= halloweenmath
+#   (the following need not be redefined, although it can be)
+BUNDLE_NAME	= $(ROOT_NAME) package
+#
+# - all the rest:
 DTX_NAME	= $(ROOT_NAME).dtx
 INS_NAME	= $(ROOT_NAME).ins
-DOC_AUX_FIL	= $(ROOT_NAME).aux $(ROOT_NAME).log \
+LOG_FILE	= $(ROOT_NAME).log
+DOC_AUX_FIL	= $(LOG_FILE) $(ROOT_NAME).aux \
 				$(ROOT_NAME).glo $(ROOT_NAME).gls \
 				$(ROOT_NAME).idx $(ROOT_NAME).ind \
 				$(ROOT_NAME).ilg $(ROOT_NAME).glg \
@@ -17,6 +24,7 @@ CODE_FILES	= $(ROOT_NAME).sty
 #
 LATEX		= pdflatex
 MAKEINDEX	= makeindex
+REMOVE		= -rm
 
 #
 define GEN_FAKE_INDEX
@@ -35,7 +43,7 @@ endef
 
 .PHONY: default
 .PHONY: code doc
-.PHONY: clean cleandoc cleanaux cleancode cleanall
+.PHONY: clean cleandoc cleanaux cleancode cleanlog cleanall
 .PHONY: help
 
 # Default target
@@ -80,15 +88,19 @@ clean: cleanall
 
 # Cleaning the code files
 cleancode:
-	-rm $(CODE_FILES)
+	$(REMOVE) $(CODE_FILES)
 
 # Cleaning the documentation files
 cleandoc: cleanaux
-	-rm $(DOCUM_FILE)
+	$(REMOVE) $(DOCUM_FILE)
 
-# Cleanng just the auxiliary files used in producing the documentation
+# Cleaning just the auxiliary files used in producing the documentation
 cleanaux:
-	-rm $(DOC_AUX_FIL)
+	$(REMOVE) $(DOC_AUX_FIL)
+
+# Cleaning only the transcript file (e.g., after "make code")
+cleanlog:
+	$(REMOVE) $(LOG_FILE)
 
 # Cleaning up all the generated files
 cleanall: cleancode cleandoc
@@ -101,9 +113,9 @@ help:
 	@echo "    Generate both the code and the documentation (see below)."
 	@echo
 	@echo "  make code"
-	@echo "    Generate the LaTeX sources for all the classes, packages,"
-	@echo "    definition files, etc. of the C.D.P. Bundle; these files go"
-	@echo "    into the LaTeX input directories."
+	@echo "    Generate all the LaTeX \"executables\" (e.g., \`.sty' files)"
+	@echo "    of the $(BUNDLE_NAME);"
+	@echo "    these files go into the LaTeX input directories."
 	@echo
 	@echo "  make doc"
 	@echo "    Generate the documentation (in PDF); the resulting PDF file"
@@ -126,6 +138,9 @@ help:
 	@echo "    Remove only the auxiliary files used to generate the"
 	@echo "    documentation."
 	@echo
+	@echo "  make cleanlog"
+	@echo "    Remove just the transcript file (e.g., after \"make doc\")."
+	@echo
 	@echo "  make help"
 	@echo "    Print this help message."
 	@echo
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/README b/Master/texmf-dist/doc/latex/halloweenmath/README
index 212a09dd57e..f8ae0c79056 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/README
+++ b/Master/texmf-dist/doc/latex/halloweenmath/README
@@ -1,4 +1,4 @@
-(Version indicator: 2017 Apr 16)
+(Version indicator: 2017 Apr 25)
 
 The halloweenmath package originated from a question asked for enjoyment
 on TeX-LaTeX Stack Exchange <http://tex.stackexchange.com> by the user
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-doc.pdf b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-doc.pdf
index dedc5c23610..94debdafadc 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-doc.pdf
+++ b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-doc.pdf
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.pdf b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.pdf
index 34e554e756c..5b86c5fa77f 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.pdf
+++ b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.pdf
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.tex b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.tex
index add54e3ae43..7776ee16bd2 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.tex
+++ b/Master/texmf-dist/doc/latex/halloweenmath/halloweenmath-man.tex
@@ -7,15 +7,15 @@
 
 \title{User's manual\\for the \halloweenmath\ package}
 \author{G. Mezzetti}
-\date{April~16, 2017}
+\date{April~25, 2017}
 
 \hypersetup{
 	pdftitle        = {User's manual for the halloweenmath package},
 	pdfauthor       = {G. Mezzetti},
 	pdfsubject      = {The halloweenmath LaTeX package},
 	pdfkeywords     = {TeX,LaTeX,Halloween,math,math symbold},
-	pdfcreationdate = {D:20170416000000},
-	pdfmoddate      = {D:20170416000000}
+	pdfcreationdate = {D:20170425120000},
+	pdfmoddate      = {D:20170425120000}
 }
 
 \DeclareTextFontCommand{\packlass}{\normalfont\sffamily}
@@ -427,7 +427,7 @@ table~\ref{tab:ouarrow}, and which all share the same syntax as the
 Although they are not extensible, and are thus more similar to math accents, we
 have chosen to include in this subsection also the commands listed in
 table~\ref{tab:oubat}.  They typeset a subformula either surmounted by the bat
-produced by \verb|\mathbat|, or with that symbol underneath.  The normal
+produced by \verb|\mathbat|, or with that symbol underneath.  Their normal
 (\emph{i.e.}, unstarred) form pretends that the bat has zero width (but some
 height), whereas the starred variant takes the actual width of the bat be into
 account; for example, given the input
@@ -570,29 +570,29 @@ of~$X$ having the property~\eqref{eq:Punit}, then
 $\mathghost$~satisfies~\eqref{eq:Punit}, and the second because \( \mathghost\in
 X \) and $\mathghost'$~satisfies~\eqref{eq:Punit}).
 
-Let $(X,\pumpkin)$ be a monoid.  Since the operation~$\pumpkin$ is associative, 
-we may set, for \( x,y,z\in X \),
+Let $(X,\pumpkin,\mathghost)$ be a monoid.  Since its operation~$\pumpkin$ is
+associative, we may set, for \( x,y,z\in X \),
 \[
 	x\pumpkin y\pumpkin z =_{\mathrm{def}}
 		(x\pumpkin y)\pumpkin z = x\pumpkin (y\pumpkin z)
 \]
-More generally, since the order in which the operations are performed doesn't 
-matter, given $n$~elements \( x_{1},\dots,x_{n} \in X \), with $n\ge1$, the 
-result of
+More generally, since the order in which the operations are performed doesn't
+matter, given $n$~elements \( x_{1},\dots,x_{n} \in X \), with \( n \in
+\mathbb{N} \), the result of
 \[
 	\bigpumpkin_{i=1}^{n} x_{i} = x_{1}\pumpkin\dots\pumpkin x_{n}
 \]
-is unambiguously defined.
+is unambiguously defined (it being~$\mathghost$ if \( n=0 \)).
 
-A monoid $(X,\pumpkin)$ is said to be \textbf{commutative} if
+A monoid $(X,\pumpkin,\mathghost)$ is said to be \textbf{commutative} if
 \begin{equation}
 	\forall x\in X,\;\forall y\in X\qquad
 	x\pumpkin y = y\pumpkin x
 	\label{eq:Pcomm}
 \end{equation}
 In this case, even the order of the \emph{operands} becomes irrelevant, so that,
-for any finite set~$F$, the notation \( \bigpumpkin_{i\in F} x_{i} \) also
-acquires a meaning.
+for any finite (possibly empty) set~$F$, the notation \( \bigpumpkin_{i\in F}
+x_{i} \) also acquires a meaning.
 
 
 
@@ -621,8 +621,10 @@ For example,
 \begin{align*}
 	\mathop{\overrightflutteringbat{\sin}}(\mathbb{R}) &= [-1,1] \\
 	\mathop{\overrightflutteringbat{\sin}}\bigl([0,\pi]\bigr) &= [0,1] \\
+	\mathop{\overleftflutteringbat{\arcsin}}
+				\Bigl(\bigl[0,\tfrac{\pi}{2}\bigr]\Bigr) &= [0,1] \\
 	\mathop{\overrightflutteringbat{\sin+\cos}}(\mathbb{R})
-		&= \bigl[-\tfrac{\sqrt{2}}{2},\tfrac{\sqrt{2}}{2}\bigr] \\
+		&= \bigl[-\sqrt{2},\sqrt{2}\,\bigr] \\
 	\mathop{\overleftflutteringbat{\log}}\bigl(\mathopen]-\infty,0]\bigr)
 		&= \mathopen]0,1]
 \end{align*}
@@ -855,6 +857,12 @@ enough to obtain another typeset line or two) in order to see what happens.  We
 need to look at the transcript file, to check the outcome of the following
 tracing commands.
 
+% \begingroup
+%     \showboxbreadth = 1000
+%     \showboxdepth = 0 % show just the lines, not their contents
+%     \showlists
+% \endgroup
+
 Asymmetric bats: $\mathleftbat${\boldmath $\mathleftbat$}, and also
 $\mathrightbat${\boldmath $\mathrightbat$}.  Exponents: this is \texttt{normal}
 math \( x^{\mathleftbat} \pumpkin y^{\mathrightbat} \), while
diff --git a/Master/texmf-dist/doc/latex/halloweenmath/manifest.txt b/Master/texmf-dist/doc/latex/halloweenmath/manifest.txt
index 137e4967b8c..16e4a978ad9 100644
--- a/Master/texmf-dist/doc/latex/halloweenmath/manifest.txt
+++ b/Master/texmf-dist/doc/latex/halloweenmath/manifest.txt
@@ -21,7 +21,7 @@ precisely, it explains how the locutions "Work" and "Compiled Work",
 used in the LaTeX Project Public License, are to be interpreted in the
 case of this work.
 
-April 16, 2017 (vers. 0.10)
+April 25, 2017 (vers. 0.10a)