Skip to main content

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.

Filter by
Sorted by
Tagged with
2 votes
1 answer
199 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 ...
Jim's user avatar
  • 165
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 &...
John's user avatar
  • 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.
Gargantuar's user avatar
  • 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 ...
Gargantuar's user avatar
  • 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 ...
scottkosty's user avatar
  • 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)?
user avatar
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 ...
IdleCustard's user avatar
  • 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». ...
Pavel's user avatar
  • 131
1 vote
2 answers
71 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!!!
root-of-a-tree's user avatar
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 ...
user avatar
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 ...
Amanuensis Frances's user avatar
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 ...
Jackson Bodoviwitz's user avatar
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!
Jackson Bodoviwitz's user avatar
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!
Jackson Bodoviwitz's user avatar
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" ...
Jackson Bodoviwitz's user avatar
0 votes
1 answer
704 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 ...
Jackson Bodoviwitz's user avatar
2 votes
2 answers
122 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 ...
Patrickkk's user avatar
0 votes
1 answer
422 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 ...
kolagorem's user avatar
3 votes
2 answers
211 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, ...
user avatar
3 votes
1 answer
78 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 ...
D.R's user avatar
  • 771
3 votes
2 answers
144 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 ...
Mentastin's user avatar
8 votes
3 answers
534 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 ...
Linear Christmas's user avatar
0 votes
1 answer
1k 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 ...
Hendrix13's user avatar
  • 105
0 votes
1 answer
54 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 ...
Subhasish Mukherjee's user avatar
0 votes
1 answer
338 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 ...
Bertie Wheen's user avatar
3 votes
1 answer
139 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?
zxcv's user avatar
  • 133
5 votes
4 answers
642 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 ...
Baba's user avatar
  • 61
1 vote
3 answers
864 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 ...
showkey's user avatar
  • 137
2 votes
1 answer
183 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.
fgrieu's user avatar
  • 179
2 votes
2 answers
409 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 ...
M. Logic's user avatar
  • 4,333
1 vote
1 answer
44 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 ?
user2925716's user avatar
  • 1,960
4 votes
2 answers
193 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 ...
user2925716's user avatar
  • 1,960
5 votes
0 answers
260 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 ...
Maëlan's user avatar
  • 266
0 votes
1 answer
196 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.
acesrivals's user avatar
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 ...
Akiva Weinberger's user avatar
3 votes
1 answer
292 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 ...
Alex E.'s user avatar
  • 309
2 votes
1 answer
386 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}[...
Linear Christmas's user avatar
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 ...
NLing's user avatar
  • 383
0 votes
2 answers
196 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 ...
user21820's user avatar
  • 878
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 ...
user21820's user avatar
  • 878
0 votes
1 answer
570 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 ...
Mironline's user avatar
  • 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 '$\...
NessunDorma's user avatar
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 ...
algorithmshark's user avatar
6 votes
4 answers
258 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 ...
Michal's user avatar
  • 61
1 vote
1 answer
193 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} \\ \...
Tsvi Benschar's user avatar
2 votes
4 answers
295 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.
Dave124's user avatar
  • 363
0 votes
1 answer
144 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.
Varnothing's user avatar
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 ...
user1211719's user avatar
5 votes
2 answers
741 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 ...
Alberto Takase's user avatar
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 ...
Yeet's user avatar
  • 23