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
0 votes
1 answer
28 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 ...
user avatar
0 votes
1 answer
35 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 ...
user avatar
3 votes
1 answer
56 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?
user avatar
  • 133
5 votes
4 answers
296 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 ...
user avatar
  • 61
1 vote
3 answers
75 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 ...
user avatar
  • 137
2 votes
1 answer
61 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.
user avatar
  • 155
2 votes
2 answers
164 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 ...
user avatar
  • 2,747
1 vote
1 answer
40 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 ?
user avatar
  • 1,838
4 votes
2 answers
140 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 ...
user avatar
  • 1,838
1 vote
0 answers
76 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 ...
user avatar
  • 216
0 votes
1 answer
68 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.
user avatar
1 vote
1 answer
213 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 ...
user avatar
3 votes
1 answer
121 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 ...
user avatar
  • 309
2 votes
1 answer
145 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}[...
user avatar
2 votes
2 answers
52 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 ...
user avatar
  • 319
0 votes
2 answers
115 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 ...
user avatar
  • 808
5 votes
1 answer
341 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 ...
user avatar
  • 808
0 votes
1 answer
251 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 ...
user avatar
  • 103
0 votes
0 answers
42 views

Round angle delimiters

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 '$\...
user avatar
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 ...
user avatar
6 votes
4 answers
179 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 ...
user avatar
  • 61
1 vote
1 answer
80 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} \\ \...
user avatar
2 votes
4 answers
100 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.
user avatar
  • 343
0 votes
1 answer
97 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.
user avatar
8 votes
2 answers
444 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 ...
user avatar
5 votes
2 answers
167 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 ...
user avatar
1 vote
2 answers
832 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 ...
user avatar
  • 23
1 vote
1 answer
173 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.
user avatar
2 votes
1 answer
180 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.
user avatar
6 votes
3 answers
358 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{^{\...
user avatar
1 vote
1 answer
204 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:
user avatar
  • 319
0 votes
1 answer
38 views

How to prevent spaces around a binary relation in math mode?

I'm trying to add a subscript both before and after the \cong symbol, but the problem I'm having is that because it is a binary operator, I'm getting spacing between the prescript and the symbol. I ...
user avatar
  • 1,397
4 votes
1 answer
94 views

Vertical alignment of binary relation symbol

As far as I understand, binary relations like $\Vdash$ are (vertically) centered to properly fit uppercase letters. For example, $A \Vdash B$ looks fine. I use this symbol in a context where it is ...
user avatar
  • 43
7 votes
2 answers
481 views

How to construct the following symbol (subset with arrows)?

How to construct the following symbol?
user avatar
  • 253
0 votes
1 answer
47 views

How to name a function like a relation (dependence atom)

I want to achieve something like this: how do i do this for an arbitrary relation symbol? Latex is putting a whitespace after it.
user avatar
  • 127
4 votes
2 answers
3k views

How to create a "succeeds or precedes" symbol?

Might be an obvious (or impossible) request, but does anyone know if there's an equivalent of the "less than or greater than" symbol but for "succeeds or precedes?" Thanks! I've tried using detexify (...
user avatar
  • 143
2 votes
1 answer
347 views

How are these symbols from Bayesian statistics achieved?

There's a discussion here of two symbols approximating $\coprod$, $\prod$, though these ones are slightly different. They are only presented as part of this image, after the first X on each line: ...
user avatar
  • 237
1 vote
1 answer
2k views

Semantic difference between `\amalg` and `\coprod` for disjoint union

What's the semantic difference between \amalg and \coprod for disjoint unions? I used to use \amalg for binary operations like X \amalg Y and \coprod for operators like \coprod_\lambda X_\lambda. But ...
user avatar
  • 583
2 votes
3 answers
1k views

How do I write the negation of $\succsim$ without using txfonts or pxfonts packages?

My problem is that I want to keep the original font and still use the negation off \succsim. I don't want to switch to \nsucceq. This is the symbol I want to write: .
user avatar
0 votes
0 answers
150 views

Math Symbols \neq with Overleaf [duplicate]

Can someone maybe help me out and let me know how to set: ≠ in LaTeX? I am using Overleaf. I have tried \≠ but it did not work out. Thanks in advance. Greetings.
user avatar
  • 1
2 votes
1 answer
387 views

Spacing of relation and operation symbols with propositions

LaTeX follows typographic standards and does an elegant job of correctly spacing relation symbols like "=" or "∈" and operation symbols like "+" or "∧". For example, in $a + b = x + y$ LaTeX adds ...
user avatar
  • 269
13 votes
2 answers
1k views

Is \mathrel always needed?

I answered another question (LaTeX \models symbol that goes both ways) creating a new symbol, a relation, without using \mathrel. In his answer to the same question, Werner used it (he also used \...
user avatar
  • 53.8k
1 vote
1 answer
882 views

Symbol "represented by" from quantum mechanics [duplicate]

The symbol I'm referring to is a standard equal sign with a dot right above it. I've looked around, but cannot seem to find the LaTeX code for the symbol used by Sakuri to represent operators in his ...
user avatar
  • 125
3 votes
1 answer
211 views

Improving mathabx's long arrows

In my opinion, mathabx has the nicest arrows. However, it doesn't include long arrows as single glyphs, so they are built in the same way amsmath builds their arrows, with the code \def\longleftarrow{\...
user avatar
  • 932
6 votes
3 answers
794 views

Spacing around \tilde{=}

How can I get proper spacing when using tilde over operator symbols? \begin{align*} x &= y\\ x &\tilde{=} b \end{align*} Yields: But I would like the tilde version to have the same kind of ...
user avatar
  • 161
9 votes
2 answers
2k views

How do I draw the following symbols

I am trying to represent the calculus of relations, from Tarski's paper. How do I represent the following ? SideNote: I did go through http://math.mit.edu/~dspivak/files/symbols-all.pdf and https://...
user avatar
11 votes
1 answer
401 views

Spacing between two relational symbols

I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is ...
user avatar
  • 213
3 votes
1 answer
3k views

How to add a cross-out "/" to any latex symbol? [duplicate]

I want to type something like this How to add a / in a latex symbol in general? Like the \nexists, \notin.
user avatar
  • 223
0 votes
1 answer
298 views

I need following table in LateX code including special symbols

I hope you can you help me. I am writing my homework with LaTeX (using TexStudio as environment). This table contains three columns: Syntax, Strictness and Semantics. For my homework, I need to ...
user avatar
4 votes
1 answer
231 views

Macro that treats a math symbol as a relation or as ordinary according to context

I like to define macros for my binary relations, say: \newcommand{\pref}{\mathrel{R}}. I use it as: a \pref b. But I also sometimes want to consider my binary relation as a function, thus, for example,...
user avatar