[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