{relation-symbols} are those {symbols} that denote relations (e.g., =,
4
votes
1answer
54 views
Increase the space between operator in subscript/superscript
I need to increase the space globally between operators in subscripts/superscripts.
Example: \sum_{x=4}
I need a little more space before and after the = symbol in the subscript. It is required ...
28
votes
3answers
652 views
New relation symbol
I am defining a new relation in one of my new papers. I want to use the following symbol, because it conveys the meaning of my relation. Is there such a symbol in LaTex ? It is very similar to \leq ...
10
votes
1answer
217 views
Not equal sign (≠) with a vertical bar
Is it possible to get a \neq but with a vertical bar instead of a slanted one? There are inequality operators like AMS's \gvertneqq that feature this kind of "not equal" but not without mixing it with ...
2
votes
1answer
83 views
Difference of perp and bot
I saw in math.stackexchange that someone uses \perp for what I always use \bot.
In XeLaTeX: lost \perp in Cambria math? it says that they are two different symbols, do they just look the same?
I ...
3
votes
1answer
142 views
What is a good method for producing a unary plus/minus sign that always works?
Say I have a macro that does something in math mode (say, change the mathalphabet). This macro, \somecommand, takes one argument. I might want use is like this, feeding an empty argument into it: ...
4
votes
2answers
120 views
Output a relational symbol on LaTeX (precedes under relation, ⊰)
I'm trying to output this character on LaTeX: ⊰ (click here if you can't see it)
The more I search and read the more confused I am. At this point I am clueless.
Supposedly the command is \prurel, ...
10
votes
4answers
162 views
What is a simple way to create a binary relation symbol on top of another?
What is a simple way to have \ll on top of \gg with equal size and vertically center aligned and have them work as a binary relation symbol like \lessgtr? The commands \underset and \overset cannot be ...
0
votes
1answer
90 views
relational symbol for “the same strings” [duplicate]
Possible Duplicate:
How to look up a symbol?
How to get the following relational symbol in the attached image? It's an altered equal-sign and is used by our tutor to denote "the same ...
1
vote
2answers
207 views
$\models$ vice-versa as semantically equivalent
How to get the $\models$-symbol vice-versa to form a symbol for semantically equivalent like the following: =||=
4
votes
2answers
1k views
Why is \mid so called?
The LaTeX commands \mid and \vert may be used to make a vertical bar. I can appreciate that \vert is short for vertical, but why \mid? Is it short for middle? and if so, middle of what?
13
votes
4answers
2k views
A better \pm symbol
I am looking for an alternate to the \pm symbol, and wondering if I am the only one bothered by it as I see that this has not been asked yet.
I have attempted to define one using my standard ...
5
votes
0answers
160 views
Alternate “colon equals” sign [duplicate]
Possible Duplicate:
How to typeset $:=$ correctly?
One of the first math books I read used "A := B" to mean "A is defined to be B". In the font used in that book, the upper dot of the ...
5
votes
2answers
532 views
Relation spacing error using =& in aligned equations
The middle equation in the following example seems to have wrong spacing around the = sign. The only difference is that I used =& for aligning around the = sign rather than &=.
This worries ...
19
votes
5answers
2k views
Is there a wider equal sign?
I have defined the equal by definition sign:
with this code: \newcommand{\eqdef}{\overset{def}{=}}.
However, "def" extends over the edges of the equal sign. Is there a wider equal sign to use?
21
votes
3answers
1k views
How to get a good “divisible by” symbol?
In addition to the "divides" relation, denoted b | a, there is also a "divisible by" relation expressing the converse (a is divisible by b), often designated with three vertical dots.
Up until now, ...
12
votes
2answers
361 views
Symbol for skeptical consequence that matches the turnstile package
This might be seen as a follow up to Symbol for skeptical consequence. From it I got answers so that I could write that B is a skeptical consequence of A such as
which Peter Grill's code produces. ...
21
votes
4answers
11k views
Typesetting the “define equals” symbol
I'd like to typeset two compound symbols for making definitions. The following
\newcommand{\defeq}{\mathrel{\mathop:}=}
\newcommand{\eqdef}{\mathrel{\mathop=}:}
are suggested by the CTAN symbol ...
4
votes
2answers
4k views
Symbol about not orthogonality in LaTeX
I found this post, which explains orthogonal and not orthogonal symbols.
I was able quickly to find the orthogonal symbols as \perp, \upvdash etc., but not able to find a top line which strikes the ...
6
votes
4answers
6k views
LaTeX symbol for “does not divide”
What is the correct way to make the "does not divide" symbol in plain LaTeX 2e?
I'm talking about the symbol that is a vertical bar with a slash through it. I prefer not to install AMS or other ...
3
votes
2answers
720 views
Easy way to type more kinds of arrows?
There is \rightrightarrows to produce two parallel arrows, \longrightarrow to produce a longer arrow and \xrightarrow to produce an extendable arrow. But is there an easy way to produce two long ...
27
votes
3answers
2k views
\subseteq + \circ as a single symbol (“open subset”)
I'm trying to create symbols \opn for "open subset" and \cls "closed subset". I want them to look like this:
My current solution is:
...
5
votes
3answers
1k views
XOR and II (concatenation) summation symbols
In Latex, in math mode, if I want to express summation over a range I can use the following expression \sum_{from}^{to}. I can do the same for the product.
What is the name of the symbol that does ...
24
votes
5answers
6k views
What's a good way to write “x does not divide y”?
The way I currently do it is $x \not | y$, which looks awful. There's got to be something better available.
51
votes
8answers
7k views
How to typeset $:=$ correctly?
I like to use $:=$ for "is defined to be equal to", but this is never typeset with the symmetry one would like, as the colon is always too low relatively to the equals sign. Is there any way of ...
