[latexrefman-commits] 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 @@
-2015-07-10  Jim Hefferon  <jhefferon at domain.hid>
+2015-07-13  Jim Hefferon  <jhefferon at domain.hid>
+
+	* latex2e.texi (Math symbols): Done all symbols.
+
+2015-07-11  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/WD-math-970515/section6.html
 
 @ftable @code
 @item \|
@@ -5196,14 +5197,16 @@
 @U{22C0} Variable-sized, or n-ary, logical-or (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 Greek-text 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} Single-line 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 double-line 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 single-line 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 double-line vertical
-bars.)
+ at U{2223} Single-line 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 single-line
+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} North-east 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, right-pointing 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} Southwest-pointing  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} Right-pointing 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} Not-filled 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} Not-filled 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
-left-pointing arrowhead with line under (binary operation) @c xx not in plain
+ at U{22B4} Left-pointing not-filled 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
-right-pointing arrowhead with line under (binary operation) @c xx not in plain
+ at U{22B5} Right-pointing not-filled 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} Double-line upward-pointing arrow (relation). Similar:
+single-line up-pointing arrow at domain.hid}.
 
 @item \uparrow
- at domain.hid} (delimiter)
+ at U{2191} Single-line upward-pointing arrow, diverges (relation). Similar:
+double-line up-pointing arrow at domain.hid}.
 
 @item \Updownarrow
- at domain.hid} (delimiter)
+ at U{21D5} Double-line upward-and-downward-pointing arrow (relation). Similar:
+single-line upward-and-downward-pointing arrow at domain.hid}.
 
 @item \updownarrow
- at domain.hid} (delimiter)
+ at U{2195} Single-line upward-and-downward-pointing arrow (relation). Similar:
+double-line upward-and-downward-pointing 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 non-variant lower case Greek-text 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
+non-variant form is @code{\phi}@tie{}@U{03D5}.
 
 @item \varpi
- at domain.hid}
+ at U{03D6} Variant on the lower case Greek letter (ordinary).  The
+non-variant form is @code{\pi}@tie{}@U{03C0}.
 
 @item \varrho
- at domain.hid}
+ at U{03F1} Variant on the lower case Greek letter (ordinary).  The
+non-variant form is @code{\pi}@tie{}@U{03C1}.
 
 @item \varsigma
- at domain.hid}
+ at U{03C2} Variant on the lower case Greek letter (ordinary).  The
+non-variant form is @code{\pi}@tie{}@U{03C3}.
 
 @item \vartheta
- at domain.hid}
+ at U{03D1} Variant on the lower case Greek letter (ordinary).  The
+non-variant 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 half-circle 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 double-line 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: double-line
+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 single-line 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 latexrefman-commits mailing list