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.
159
questions
2
votes
1
answer
72
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
80
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 ...
- 933
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
38
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!!!
0
votes
0
answers
23
views
Found a weird looking symbol involving greater than, less than and the equal to sign [duplicate]
While going through a book name "Higher Algebra" by "Hall and Knight", I came across a pretty weird-looking symbol that I couldn't recognise. I tried looking it up on Detexify but ...
3
votes
5
answers
1k
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
447
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
53
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 ...
4
votes
2
answers
464
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
97
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
1k
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
88
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 ...
1
vote
2
answers
80
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 ...
- 13
0
votes
1
answer
226
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
84
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
61
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 ...
- 721
1
vote
1
answer
53
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 ...
- 23
8
votes
3
answers
475
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 ...
- 500
0
votes
1
answer
394
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
46
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
247
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
118
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
533
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
466
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
104
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
314
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 ...
- 3,961
1
vote
1
answer
41
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,928
4
votes
2
answers
178
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,928
3
votes
0
answers
173
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 ...
- 246
0
votes
1
answer
135
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
789
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
217
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
289
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}[...
- 500
2
votes
2
answers
59
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 ...
- 363
0
votes
2
answers
158
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
832
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
477
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
67
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
29
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
238
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
158
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
221
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
121
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
8
votes
2
answers
871
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 ...
- 93
5
votes
2
answers
429
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 ...
- 305
1
vote
2
answers
1k
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
456
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
248
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.
6
votes
3
answers
470
views
Interval relations
To denote interval [a, b] some books use a special symbol.
There are also variants for asymmetrical intervals:
How to reproduce them in LaTeX?
My best attempt so far is a \mathrel{\boldsymbol{^{\...
user152057
1
vote
1
answer
438
views
Is \, | \, equivalent to \mid?
Is \mid equivalent to \, | \, ?
I am asking this because, \mid does not cooperate with \big. However \,\big| \, works fine. I typically use these expressions when defining sets, for instance:
- 319