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.
161
questions
0
votes
0
answers
32
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.
- 725
2
votes
1
answer
182
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 ...
- 725
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.2k
2
votes
1
answer
98
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
136
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,224
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
65
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
578
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
61
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
544
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
140
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" ...
0
votes
1
answer
485
views
\Subset with line beneath it
The command \Subset produces an inclusion symbol \subset with a small inclusion inside of it. I have two related questions:
How can I draw a line under \Subset just like the one under \subseteq?
How ...
2
votes
2
answers
112
views
How can I typeset vDash in plain TeX?
I am working on a model theory document in plain TeX, and I use the vdash and vDash symbols a lot.
\vdash is already part of plain TeX, so no problem, but what's the way to get \vDash to look ...
- 23
0
votes
1
answer
364
views
Special subset symbol
The symbol \Subset provides a subset symbol which "repeats itself twice," essentially. Is there anyway to produce the same symbol which "repeats itself thrice" (i.e., take two ...
3
votes
2
answers
180
views
Equalities connected by logical operators
Most (but not all) of the math-mode stuff in my book consists of terms and formulas of a clean logic:
The terms are recursively constructed from constants (such as 0, 1, 2, true, f, g, +, ∈, or, not, ...
user282514
3
votes
1
answer
73
views
\mathrel used in-line and in sub/superscript
I would like to define a \mathrel symbol composed of some text. For instance I would like to do something like
\DeclareMathSymbol\myrel{\mathrel}{???}{rel}
or perhaps another macro/custom symbol in ...
- 771
3
votes
2
answers
137
views
Mathrel in superscript
I would like to define mathematical relations that can also be used in superscripts. E.g. I would like to use
\newcommand\mesh{\mathrel{\#}}
both as A\mesh B and A^\mesh. The latter gives an error ...
- 43
8
votes
3
answers
514
views
How to create \in-symbol with underbar that has rounded edges and correct vertical spacing?
The aim is to create a new symbol \ineq. The appearence of \ineq would be to \in as \subseteq is to \subset.
Output from attempt at making \ineq:
Problems with attempt in decreasing order of ...
- 540
0
votes
1
answer
787
views
How to add text to the \leftrightharpoons symbol in equations?
Following directly on from the question https://tex.stackexchange.com/questions/454010/left-right-harpoon-arrow-with-text/651690#651690" and referring to the images below (@egreg's image in the ...
- 105
0
votes
1
answer
51
views
Taller curvearrowright
Would there be a way to make \curvearrowright taller? I can't find any symbol which matches this, but \curvearrowright is just too short. I want to use it to represent an action by an algebraic object ...
0
votes
1
answer
319
views
Undefined control sequence \ngtr [duplicate]
I have \ngtr in some math mode content, and though the VS Code extension LaTeX Workshop's preview-equation-on-hover functionality displays it correctly, I get an undefined control sequence error when ...
- 11
3
votes
1
answer
134
views
How to put a vertical line at the right hand side of a symbol?
I want to create a symbol that looks like:
I recently learned that I can use \underset{-}{\lessdot} to get:
But I need to put another vertical line at the right hand side. How can I do that?
- 133
5
votes
4
answers
619
views
\vDash and \models but with three horizontal lines
I'm looking for way to draw the \vDash or the \models operator but with three horizontal lines instead of just two. Is there an easy way to do this?
It should look something like this:
Thanks for any ...
- 61
1
vote
3
answers
786
views
Typeset a 'not equal' symbol, whose slash is reversed (from the upper-left to the bottom-right)
The not equal symbol (≠), has its slash from the upper-right to the bottom-left. For example:
\begin{equation}
i \neq j
\end{equation}
Typesets the following:
i ≠ j
How can I obtain a similar ...
- 137
2
votes
1
answer
150
views
Longer \nLeftrightarrow
I'm looking for a longer \nLeftrightarrow, usable in MathJax / LaTex-enabled StackExchange websites. I tried the following, and I'm puzzled.
- 179
2
votes
2
answers
386
views
How to create a dashed equality symbol?
How to create a dashed equality symbol as follows?
Also, make sure that, it
be effected by \not the same as =,
and act the same as = in other ways.
By the way, it's not necessary that there must be ...
- 4,258
1
vote
1
answer
42
views
A strange symbol-where can I find it? [duplicate]
Please, in which LaTeX package can I find the symbol between $s$ and $\langle n\rangle$ below ?
- 1,940
4
votes
2
answers
190
views
a weird sign not in amssymb
I was suggested to ask a new question about obtaining this sign in XeTeX
in the comments elsewhere:
I'd prefer high LaTeX or XeTeX definition rather than the TeX's primitives.
EDIT:
Luckily some of ...
- 1,940
4
votes
0
answers
237
views
Larger spacing around logical connectives
(Writing for myself, I ended up writing a rather verbose background, so you can skip directly to the Question below.)
Background
TeX or LaTeX (I do not know which does what exactly) has three classes ...
- 256
0
votes
1
answer
177
views
\longmapsto strange space
has anyone got this strange space appearing when using \longmapsto in either math mode or any math environment?
I have no idea why it appears or how to fix it. It does not happen with \mapsto.
- 11
1
vote
1
answer
1k
views
How to create "not less than or greater than" symbol? [duplicate]
I recently came across this meme:
(Source: @nathanaelnoir on Twitter)
How can you create that second symbol in LaTeX?
Apparently, several packages do include \nlessgtr, but they have a diagonal slash ...
- 165
3
votes
1
answer
277
views
Put two dots above beta
I try to put two dots above a beta ancient greek character like this
\"β
But a beta symbol is too tall, so the dots are printed on the beta symbol. How can I move dots up?
The dots should go ...
- 309
2
votes
1
answer
368
views
How to make a variable-sized \nmid symbol for "does not divide"?
For a variable-sized bar denoting "a divides b", I normally use \divides
\newcommand{\zerodel}{.\kern-\nulldelimiterspace} %removes extraneous spacing after \right etc.
\newcommand{\divides}[...
- 540
2
votes
2
answers
64
views
How to Type Clitic Examples with the gb4e Package
I was struggling to use clitics in my glosses, as it forces the use of an = sign. I searched for a long time, but every question I was able to find was specific to math. Normally, the use of ...
- 373
0
votes
2
answers
187
views
How to redefine `\mathrel` without breaking `\overset`?
It seems that I cannot modify \mathrel without breaking \overset, and I do not understand why. The following fails to compile even when the redefinition of \mathrel does exactly the same as the ...
- 868
5
votes
1
answer
1k
views
Why is `\restriction` a relation-symbol?
I do not understand why \restriction (from package amssymb) is defined to be a relation-symbol. It is certainly not one in mathematics... Is there any special reason, or should I just consider it a ...
- 868
0
votes
1
answer
536
views
Data-model symbols in Latex
I want to add the following symbols to show the connection between some data-models in .tex document, I was wondering to know whether we have any predefined code (latex of Unicode) for them, or I have ...
- 103
0
votes
0
answers
68
views
Round angle delimiters [duplicate]
I would like to know whether there is some easy way to create new delimiters. In particular, I'm looking for a kind of "round angle" delimiters. Namely, if we consider '$\langle$' and '$\...
- 101
1
vote
0
answers
30
views
How can I change the kerning of all relations in script styles?
Let's say that I am dissatisfied with the lack of horizontal spacing around relations in scriptstyle and scriptscriptstyle. I would like to \mkern them by 1mu on either side, because I think that ...
- 389
6
votes
4
answers
252
views
Custom Symbol Creation | Union and Intersection
I am a beginner in LaTeX and was wondering if someone could help me with the following problem.
I will be soon embarking on a re-formatting journey of a certain article and believe that I have most of ...
- 61
1
vote
1
answer
186
views
Aligning Double Inequalities with Right-Aligned Textbox
Normally in align environments, I can align equations with an additional column on the right explaining the steps, eg:
\begin{align*}
-1 &= x \\
-2 &= 2x && \text{multiply by 2} \\
\...
2
votes
4
answers
274
views
Typing Specific Inequality Symbol
I'm trying to type the following symbol in TeX, but I can't seem to find it anywhere. Am I supposed to create it myself? If so, how should I do this? Please and thank you.
- 353
0
votes
1
answer
137
views
How to write a dashed congruent sign?
I wanna to write a symbol like this:
I tried\dashcong but it did not work. Does it require a new command? I hope someone can share the code.
- 25
7
votes
2
answers
1k
views
Annotating a binary relation
I wish to add tilde or hat notation to a binary relation I have created, but the notation will not centre correctly. For example, if I write the following
$\hat{\mathrel{\mathcal R}}$
then the hat ...
- 83
5
votes
2
answers
636
views
\lesscong extending amssymb
The amssymb package has \lesssim and \lessapprox and \leqq. Is there a way to construct \lesscong?
I looked at the amssymb.sty file, and there's not an obvious way to modify the \DeclareMathSymbol ...
- 327
1
vote
2
answers
2k
views
Less than or equal to *not slanted*
I'm trying to write less than or equal to, I'm using \leq, however, when I compile it shows me a \leqslant.
I'm using overleaf. Is it a bug or do I need to use another command or something? Any help ...
- 23
1
vote
1
answer
576
views
Why is the turnstile called \vdash?
Why is the turnstile $\vdash$ called "vdash"?
I'm sure the explanation is simple (is it just that it's vertical bar followed by a dash?), but I can't seem to find anything "official" online.
- 13
2
votes
1
answer
271
views
How do I add outward pointing arrows to the \thicksim math symbol?
I am in need of a symbol that looks like \thicksim, but with outward pointing arrows at each side. Is there a package I can use to achieve the desired effect?
Thanks in advance.
