[latexrefmancommits] r382  in /trunk: ChangeLog latex2e.texi
jhefferon at domain.hid
jhefferon at domain.hid
Mon Jul 13 17:18:46 CEST 2015
Author: jhefferon
Date: Mon Jul 13 17:18:45 2015
New Revision: 382
URL: http://svn.gna.org/viewcvs/latexrefman?rev=382&view=rev
Log:
finished math symbols
Modified:
trunk/ChangeLog
trunk/latex2e.texi
Modified: trunk/ChangeLog
URL: http://svn.gna.org/viewcvs/latexrefman/trunk/ChangeLog?rev=382&r1=381&r2=382&view=diff
==============================================================================
 trunk/ChangeLog (original)
+++ trunk/ChangeLog Mon Jul 13 17:18:45 2015
@@ 1,4 +1,8 @@
20150710 Jim Hefferon <jhefferon at domain.hid>
+20150713 Jim Hefferon <jhefferon at domain.hid>
+
+ * latex2e.texi (Math symbols): Done all symbols.
+
+20150711 Jim Hefferon <jhefferon at domain.hid>
* latex2e.texi (Math symbols): Through the S's.
Modified: trunk/latex2e.texi
URL: http://svn.gna.org/viewcvs/latexrefman/trunk/latex2e.texi?rev=382&r1=381&r2=382&view=diff
==============================================================================
 trunk/latex2e.texi (original)
+++ trunk/latex2e.texi Mon Jul 13 17:18:45 2015
@@ 5115,6 +5115,7 @@
mode.
@c xx Add Negation: @code{} for negations of relevant symbols
+ at c Useful: http://www.w3.org/TR/WDmath970515/section6.html
@ftable @code
@item \
@@ 5196,14 +5197,16 @@
@U{22C0} Variablesized, or nary, logicalor (operator).
@item \bot
 at domain.hid} Bottom, least element of a poset, or a contradiction (ordinary).
+ at U{22A5} Up tack, bottom, least element of a poset, or a contradiction
+(ordinary). See also at domain.hid}.
@item \bowtie
@U{22C8} Natural join of two relations (relation).
@item \Box
 at domain.hid} Square open box (ordinary). This is not available in Plain
 at domain.hid{}. In @LaTeX{} you need to load the @file{amssymb} package.
+ at U{25A1} Modal operator for necessity; square open box (ordinary). This
+is not available in Plain @TeX{}. In @LaTeX{} you need to load the
+ at file{amssymb} package.
@c bb Best Unicode equivalent?
@item \bullet
@@ 5227,6 +5230,12 @@
@item \clubsuit
@U{2663} Club card suit (ordinary).
+ at item \complement
+ at U{2201} Set complement, used as a superscript as in
+ at code{$S^\complement$} (ordinary). This is not available in Plain
+ at TeX{}. In @LaTeX{} you should load the @file{amssymb} package. Also
+used: @code{$S^@{\mathsf at domain.hid@}@}$} or at domain.hid@}$}.
+
@item \cong
@U{2245} Congruent (relation).
@@ 5257,7 +5266,7 @@
Plain @TeX{}. In @LaTeX{} you must load the @file{amssymb} package.
@c bb Best Unicode equivalent?
 at domain.hid \diamondD
+ at item \diamond
@U{22C4} Diamond operator, or diamond bullet (binary). Similar: large
diamond at domain.hid}, circle bullet at domain.hid}.
@@ 5288,9 +5297,12 @@
@c bb Why Unicode has \revemptyset but no \emptyset?
@item \epsilon
 at domain.hid} Lower case Greek letter (ordinary). Similar: rounded small
epsilon at domain.hid}, set membership
relation at domain.hid}. @math{\epsilon}
+ at U{03F5} Lower case Greektext letter (ordinary). More widely used in
+mathematics is the curly epsilon
+ at code{\varepsilon}@tie{}@U{03B5}. Related: the set membership relation
+ at code{\in}@tie{}@U{2208}.
+ at c src: David Carlisle http://tex.stackexchange.com/a/98018/339 and
+ at c Unicode referenced there asserts varepsilon is much more widely used.
@item \equiv
@U{2261} Equivalence (relation).
@@ 5443,7 +5455,9 @@
@item \lhd
@U{25C1} Arrowhead, that is, triangle, pointing left (binary). This is
not available in Plain @TeX{}. In @LaTeX{} you should load the
 at domain.hid} package.
+ at file{amssymb} package. For the normal subgroup symbol you should load
+ at file{amssymb} and use at domain.hid} (which is a relation
+and so gives better spacing).
@item \ll
@U{226A} Much less than (relation). Similar: much greater
@@ 5481,32 +5495,17 @@
@file{amssymb} package.
@item \mid
 at domain.hid} Singleline vertical bar (relation).
Synonym:@tie{}@code{\mvert}. Similar: @code{\vert} and at domain.hid{}
produce the same vertical bar symbol but without any spacing (they fall
in class ordinary) and you should not use them as relations but instead
only as ordinals, i.e., footnote symbols. Related: the synonyms
 at domain.hid} and at domain.hid{\} produce doubleline vertical bars.

A typical use of @code{\mid} is for a set @code{\@{\, x \mid x\geq 5
\,\@}}. For the divides relation use at domain.hid}.

For absolute value you can use the @file{mathtools} package and add
 at domain.hid@}} to your
preamble. This gives you three command variants for singleline vertical
bars that are correctly horizontally spaced: if in the document body you
write @code{is about $\abs*@{\frac at domain.hid@}@}$} then the height of the
vertical bars will match the height of the fraction, whereas with
 at domain.hid@}@}} the bars do not grow with the height of
the argument but instead are the default height and @code{\abs[@var{size
command}]@{\frac at domain.hid@}@}} also gives bars that do not grow but are
set to the size given in the @var{size command}, e.g., @code{\Bigg}.
(Putting @code{\DeclarePairedDelimiter\norm at domain.hid@}} in your
preamble will produce three similar commands for doubleline vertical
bars.)
+ at U{2223} Singleline vertical bar (relation). A typical use of
+ at code{\mid} is for a set @code{\@{\, x \mid x\geq 5 \,\@}}.
+
+Similar: @code{\vert} and at domain.hid{} produce the same singleline
+vertical bar symbol but without any spacing (they fall in class
+ordinary) and you should not use them as relations but instead only as
+ordinals, i.e., footnote symbols. For absolute value, see the entry
+for at domain.hid} and for norm see the entry for at domain.hid}.
@item \models
 at domain.hid} Double turnstile, short double dash; models, or satisfies
+ at U{22A8} Entails, or satisfies; double turnstile, short double dash
(relation). Similar: long double dash at domain.hid}.
@item \mp
@@ 5528,7 +5527,9 @@
@U{2197} Northeast arrow (relation).
@item \neg
 at domain.hid} Logical negation (ordinary). Synonym:@tie{}@code{\lnot}.
+ at U{00AC} Logical negation (ordinary).
+Synonym:@tie{}@code{\lnot}. Sometimes instead used for
+negation:@tie{}@code{\sim}.
@item \neq
@U{2260} Not equal (relation). Synonym:@tie{}@code{\ne}.
@@ 5598,13 +5599,15 @@
ordinary.
@item \phi
 at domain.hid} Lower case Greek letter (ordinary).
+ at U{03D5} Lower case Greek letter (ordinary). The variant form is
+ at code{\varphi}@tie{}@U{03C6}.
@item \Pi
@U{03A0} Upper case Greek letter (ordinary).
@item \pi
 at domain.hid} Lower case Greek letter (ordinary).
+ at U{03C0} Lower case Greek letter (ordinary). The variant form is
+ at code{\varpi}@tie{}@U{03D6}.
@item \pm
@U{00B1} Plus or minus (binary).
@@ 5670,10 +5673,13 @@
@item \rhd
@U{25C1} Arrowhead, that is, triangle, pointing right (binary). This is
not available in Plain @TeX{}. In @LaTeX{} you should load the
 at domain.hid} package.
+ at file{amssymb} package. For the normal subgroup symbol you should
+instead load @file{amssymb} and use at domain.hid} (which
+is a relation and so gives better spacing).
@item \rho
 at domain.hid} Lower case Greek letter (ordinary).
+ at U{03C1} Lower case Greek letter (ordinary). The variant form is
+ at code{\varrho}@tie{}@U{03F1}.
@item \Rightarrow
@U{21D2} Implies, rightpointing double line arrow (relation). Similar:
@@ 5706,7 +5712,8 @@
@U{03A3} Upper case Greek letter (ordinary).
@item \sigma
 at domain.hid} Lower case Greek letter (ordinary).
+ at U{03C3} Lower case Greek letter (ordinary). The variant form is
+ at code{}@tie{}@U{03C2}.
@item \sim
@U{223C} Similar, in a relation (relation).
@@ 5789,109 +5796,167 @@
@U{2199} Southwestpointing arrow (relation).
@item \tau
 at domain.hid}
+ at U{03C4} Lower case Greek letter (ordinary).
@item \theta
 at domain.hid}
+ at U{03B8} Lower case Greek letter (ordinary). The variant form is
+ at code{\vartheta}@tie{}@U{03D1}.
@item \times
 at domain.hid} (binary operation)
+ at U{00D7} Primary school multiplication sign (binary). See
+also at domain.hid}.
@item \to
 at domain.hid} Synonym:@tie{}@code{\rightarrow}.
+ at U{2192} Rightpointing single line arrow (relation).
+Synonym:@tie{}@code{\rightarrow}.
@item \top
 at domain.hid}
+ at U{22A4} Top, greatest element of a poset (ordinary). See
+also at domain.hid}.
@item \triangle
 at domain.hid}
+ at U{25B3} Triangle (ordinary).
@item \triangleleft
 at domain.hid} (binary operation)
+ at U{25C1} Notfilled triangle pointing left
+(binary). Similar:@tie{}@code{\lhd}. For the normal subgroup symbol you
+should load @file{amssymb} and use at domain.hid} (which
+is a relation and so gives better spacing).
@item \triangleright
 at domain.hid} (binary operation)
+ at U{25B7} Notfilled triangle pointing right (binary). For the normal
+subgroup symbol you should instead load @file{amssymb} and
+use at domain.hid} (which is a relation and so gives
+better spacing).
@item \unlhd
leftpointing arrowhead with line under (binary operation) @c xx not in plain
+ at U{22B4} Leftpointing notfilled arrowhead, that is, triangle, with a
+line under (binary). This is not available in Plain @TeX{}. In @LaTeX{}
+you should load the @file{amssymb} package. For the normal subgroup
+symbol load @file{amssymb} and use at domain.hid} (which
+is a relation and so gives better spacing).
@item \unrhd
rightpointing arrowhead with line under (binary operation) @c xx not in plain
+ at U{22B5} Rightpointing notfilled arrowhead, that is, triangle, with a
+line under (binary). This is not available in Plain @TeX{}. In @LaTeX{}
+you should load the @file{amssymb} package. For the normal subgroup
+symbol load @file{amssymb} and use at domain.hid}
+(which is a relation and so gives better spacing).
@item \Uparrow
 at domain.hid} (delimiter)
+ at U{21D1} Doubleline upwardpointing arrow (relation). Similar:
+singleline uppointing arrow at domain.hid}.
@item \uparrow
 at domain.hid} (delimiter)
+ at U{2191} Singleline upwardpointing arrow, diverges (relation). Similar:
+doubleline uppointing arrow at domain.hid}.
@item \Updownarrow
 at domain.hid} (delimiter)
+ at U{21D5} Doubleline upwardanddownwardpointing arrow (relation). Similar:
+singleline upwardanddownwardpointing arrow at domain.hid}.
@item \updownarrow
 at domain.hid} (delimiter)
+ at U{2195} Singleline upwardanddownwardpointing arrow (relation). Similar:
+doubleline upwardanddownwardpointing arrow at domain.hid}.
@item \upharpoonright
 at domain.hid} Synonym:@tie{}@code{\restriction}. Not available
in Plain @TeX{}. In @LaTeX{} you should load the @file{amssymb}
package.
+ at U{21BE} Up harpoon, with barb on right side
+(relation). Synonym:@tie{}@code{\restriction}. Not available in Plain
+ at TeX{}. In @LaTeX{} you should load the @file{amssymb} package.
@item \uplus
 at domain.hid} (binary operation)
+ at U{228E} Multiset union, a union symbol with a plus symbol in the middle
+(binary). Similar: union at domain.hid}.
@item \Upsilon
 at domain.hid}
+ at U{03A5} Upper case Greek letter (ordinary).
@item \upsilon
 at domain.hid}
+ at U{03C5} Lower case Greek letter (ordinary).
@item \varepsilon
 at domain.hid}
+ at U{03B5} Rounded small epsilon (ordinary). This is more widely used in
+mathematics than the nonvariant lower case Greektext letter form
+ at code{\epsilon}@tie{}@U{03F5}. Related: set membership at domain.hid}.
@item \varphi
 at domain.hid}
+ at U{03C6} Variant on the lower case Greek letter (ordinary). The
+nonvariant form is @code{\phi}@tie{}@U{03D5}.
@item \varpi
 at domain.hid}
+ at U{03D6} Variant on the lower case Greek letter (ordinary). The
+nonvariant form is @code{\pi}@tie{}@U{03C0}.
@item \varrho
 at domain.hid}
+ at U{03F1} Variant on the lower case Greek letter (ordinary). The
+nonvariant form is @code{\pi}@tie{}@U{03C1}.
@item \varsigma
 at domain.hid}
+ at U{03C2} Variant on the lower case Greek letter (ordinary). The
+nonvariant form is @code{\pi}@tie{}@U{03C3}.
@item \vartheta
 at domain.hid}
+ at U{03D1} Variant on the lower case Greek letter (ordinary). The
+nonvariant form is @code{\pi}@tie{}@U{03B8}.
@item \vdash
 at domain.hid} (relation)
+ at U{22A2} Provable; turnstile, vertical and a dash (relation). Similar:
+turnstile rotated a halfcircle at domain.hid}.
@item \vee
 at domain.hid} (binary operation)
+ at U{2228} Logical or; a downwards v shape (binary). Related: logical
+and at domain.hid}.
@item \Vert
 at domain.hid} (delimiter)
+ at U{2016} Vertical double bar (ordinary). Similar: vertical single
+bar at domain.hid}.
+
+For a norm you can use the @file{mathtools} package and add
+ at code{\DeclarePairedDelimiter\norm at domain.hid@}} to your
+preamble. This gives you three command variants for doubleline vertical
+bars that are correctly horizontally spaced: if in the document body you
+write the starred version @code{$\norm*@{M^\perp@}$} then the height of
+the vertical bars will match the height of the argument, whereas with
+ at code{\norm at domain.hid@}} the bars do not grow with the height of the
+argument but instead are the default height, and @code{\norm[@var{size
+command}]@{M^\perp@}} also gives bars that do not grow but are set to
+the size given in the @var{size command}, e.g., @code{\Bigg}.
@item \vert
 at domain.hid} (delimiter)
+ at U{007C} Single line vertical bar (ordinary). Similar: doubleline
+vertical bar at domain.hid}. For such that, as in the definition of a
+set, use at domain.hid} because it is a relation.
+
+For absolute value you can use the @file{mathtools} package and add
+ at code{\DeclarePairedDelimiter\abs at domain.hid@}} to your
+preamble. This gives you three command variants for singleline vertical
+bars that are correctly horizontally spaced: if in the document body you
+write the starred version @code{$\abs*@{\frac at domain.hid@}@}$} then the
+height of the vertical bars will match the height of the argument,
+whereas with @code{\abs at domain.hid@}@}} the bars do not grow with
+the height of the argument but instead are the default height, and
+ at code{\abs[@var{size command}]@{\frac at domain.hid@}@}} also gives bars
+that do not grow but are set to the size given in the @var{size
+command}, e.g., @code{\Bigg}.
@item \wedge
Logical and @U{2227} (binary). This is a synonym for @code{\land}. See
also logical or @code{\vee}.
+ at U{2227} Logical and (binary). Synonym:@tie{}@code{\land}. See also
+logical or @code{\vee}.
@item \wp
 at domain.hid}
+ at U{2118} Weierstrass p (ordinary).
@item \wr
 at domain.hid} (binary operation)
+ at U{2240} Wreath product (binary).
@item \Xi
 at domain.hid}
+ at U{039E} Upper case Greek letter (ordinary).
@item \xi
 at domain.hid}
+ at U{03BE} Lower case Greek letter (ordinary).
@item \zeta
 at domain.hid}
+ at U{03B6} Lower case Greek letter (ordinary).
@end ftable
More information about the latexrefmancommits
mailing list