Questions tagged [relation-symbols]
{relation-symbols} are those {symbols} that denote relations (e.g., =, <) or have \mathrel spacing. Questions that are tagged with {relation-symbols} should be tagged with {symbols} as well, as it describes a sub-concept.
163
questions
2
votes
1
answer
190
views
Improve spacing around equality = and other math relation symbols
I find that LaTeX puts too much space around equality = and other relation symbols. I realise that I can brace symbols, e.g. typing ${=}$ instead of $=$. However, this goes too far in the other ...
- 157
0
votes
0
answers
42
views
Outline of symbols \top, \bot, \vdash
In Nicolas Bourbaki's Algebra I, he uses an outline version of \top for his internal composition law (depicted below). Is there any way we can produce analogous symbols but with the vertical line &...
- 137
1
vote
0
answers
66
views
Correct notation for index of subgroup [G:H]
What is more "correct" from a typographical standpoint: $[G:H]$ or $[G \mathbin{:} H]?
This notation appears in the index of subgroups/of submodules or in the degree of field extensions.
- 1,154
2
votes
1
answer
209
views
Difference between `\lhd` and `\triangleleft`
I recently learned the command \lhd, which can be used for denoting normal subgroups. But what is the difference of \lhd compared to \triangleleft? Similarly, what is the difference between \unlhd and ...
- 1,154
15
votes
3
answers
1k
views
How can I color the "or equal" line of \le?
I would like a symbol that is identical to \le but where the "or equal" line (the line under the <) is green to emphasize to the reader the (or equal) part. That is, I want the new code ...
- 13.3k
2
votes
1
answer
109
views
Why is there a package for centernot?
I was very surprised when I noticed that there was a package on CTAN for the centernot command.
Specifically, what is the difference between \@centernot and \c@ncel (which is part of Plain TeX)?
user292932
1
vote
1
answer
154
views
In TeX or LaTeX how do you get the precedence operator? [duplicate]
I know how to get the following symbol:
≺
How to I get the reverse of the precedence operator (Unicode character U+227A)?
That is, what is the LaTeX code for the precedence operator, especially the ...
- 1,250
13
votes
3
answers
2k
views
Math symbol "an arrow pierces the heart"
Can anyone help me create a new math symbol like in the picture below please?
I wanna use it as a binary relation symbol: «a heart pierced by an arrow from left to right» for «A is in love with B».
...
- 131
1
vote
2
answers
70
views
Relational Overriding Symbol from Rodin IDE
I'm looking for a way to write the following relational overriding symbol. The symbol is used in the Rodin IDE.
Thank you!!!
3
votes
5
answers
2k
views
A better long ≝ (defining equals, equals to by definition) without bumps
For a long time, I've been defining a long „equals to by definition“ symbol ≝ for [pdf|lua|xe]latex via
\newcommand*{\longDefiningEquals}{\stackrel{\text{def}}{=\joinrel=}}
Its typical usage would be ...
user282514
4
votes
3
answers
613
views
How do I create a custom math mode binary operation symbol that is a combination of two binary operation symbols?
I want to create two math mode binary operation symbols:
(1) A combination of - (minus symbol) and * (asterisk)
(2) A combination of / (slash symbol) and * (asterisk)
The desired result would be ...
2
votes
2
answers
65
views
How to make Rightarrow with stopper
The symbol \Rrightarrow produces an implication with three lines; the symbol \Mapsto produces an implication with two lines and a "stopper" (a vertical line which marks the beginning of the ...
3
votes
2
answers
589
views
Three-line intersection symbol
The symbol \Cap can be produced using the relevant packages.
Is there anyway I can create three-line intersection symbol \CAP, as shown in the picture below? Thanks!
0
votes
2
answers
152
views
Triangle inside of triangle
How can I produce a symbol like \Subset for \triangle (i.e., another triangle inside of \triangle)? See the below picture.
Thanks!
5
votes
2
answers
2k
views
Long and small equals sign
I am looking for a large equals sign and a small equal sign.
If we use \textdblhyphen we get a small equals signs, but how can I simply "shrink" the usual = in LaTeX and "extend" ...