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
1
vote
0answers
7 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 ...
0
votes
1answer
30 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.
1
vote
1answer
59 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 ...
3
votes
1answer
84 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 ...
2
votes
1answer
55 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}[...
2
votes
2answers
33 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 ...
0
votes
2answers
71 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 ...
5
votes
1answer
123 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 ...
0
votes
1answer
40 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 ...
0
votes
0answers
30 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 '$\...
1
vote
0answers
26 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 ...
6
votes
4answers
151 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 ...
1
vote
1answer
43 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
4answers
55 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.
0
votes
1answer
68 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.
8
votes
2answers
197 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 ...
5
votes
2answers
102 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 ...
1
vote
2answers
359 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 ...
1
vote
1answer
95 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.
2
votes
1answer
87 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
3answers
335 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{^{\...
1
vote
1answer
96 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:
0
votes
1answer
28 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 ...
4
votes
1answer
59 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 ...
7
votes
2answers
339 views

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

How to construct the following symbol?
0
votes
1answer
30 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.
3
votes
2answers
1k views

Symbol for succeeds or precedes? [duplicate]

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 (...
2
votes
1answer
163 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: ...
1
vote
1answer
999 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 ...
2
votes
3answers
693 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: .
0
votes
0answers
101 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.
2
votes
1answer
205 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 ...
13
votes
2answers
771 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 \...
1
vote
1answer
706 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 ...
3
votes
1answer
157 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{\...
6
votes
3answers
625 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 ...
9
votes
2answers
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://...
11
votes
1answer
359 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 ...
3
votes
1answer
1k 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.
0
votes
1answer
222 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 ...
4
votes
1answer
145 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,...
3
votes
1answer
219 views

Symbol similar to \pitchfork for tangent component

I want to define a symbol analogous to \pitchfork from amssymb, which I use meaning "transverse". My new symbol will stand for "tangent" and I want it to be a \cap with a horizontal bar over it, ...
9
votes
1answer
13k views

What is the “not less than” operator in LaTeX?

Hear me out here. I tried to do \nless which I found online, however I was just given and undefined control sequence error message. What should I do?
6
votes
4answers
733 views

Dashed underline under a inequality symbol

I'm trying to find (or create) a symbol that is like \geq but with a dashed/dotted line under the inequality symbol. It should look like this: Thanks in advance
7
votes
1answer
478 views

Are `\to` and `\mapsto` mathbin or mathrel?

What class of symbols are \to and \mapsto— mathbin or mathrel? (Sorry for such a basic and naive question!) I'm pretty sure that usage indicates they ought to be mathrel, but in some posts ...
4
votes
1answer
298 views

Square version of \in symbol? [duplicate]

The mathabx package provides a square version of \subset (namely \sqsubset). However I don't think there is a square version of \in. Does anyone know of one? If not, what is the best way to create it?
0
votes
0answers
182 views

How do I write ≢ in LaTeX? [duplicate]

How do I write the symbol ≢ ("not equivalent to") in LaTeX? Is there a way to put a slash through \equiv? \notequiv doesn't exist.
0
votes
3answers
175 views

How to write an overarrow between two symbols in formula?

How am I supposed to write an overarrow between two symbols in formula? I am currently doing a report with relational algebra and normalization for databases, and what I need to do is representing a ...
2
votes
2answers
2k views

Using a smaller subset symbol?

I was looking at a paper and noticed they were using a thin subset symbol, like this: I can't seem to find a command for this (and the corresponding symbol for \subseteq) online anywhere. How would I ...
2
votes
2answers
239 views

Is there a \subseteqless command?

Is there a \subseteqless command? I mean something like \gtreqqless. If not, how can I define it myself.