Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

1
vote
1answer
50 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
71 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
48 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.
1
vote
1answer
57 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 ...
11
votes
2answers
409 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
201 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
77 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{\...
7
votes
3answers
439 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
1k 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
238 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
135 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
95 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
59 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,...
2
votes
1answer
75 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, ...
6
votes
1answer
4k 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
539 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
5
votes
1answer
286 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
191 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
82 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
120 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
623 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
201 views

Is there a \subseteqless command?

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

Line-break after \not

Why does \not{=} allow a line-break before the =? Note that \not= does not allow a break. \documentclass{article} \begin{document} \vbox{\hsize=0pt\relax $a\not{=}b$} \vbox{\hsize=0pt\relax $a\not=b$...
1
vote
2answers
489 views

Type \le or \ge symbol with optional “equal” (in parentheses)

How do I type such a "less equal or just less" relation symbol: In this example it means A < 0 is equivalent to every a_j < 0 AND A \le 0 is equivalent to every a_j \le 0
6
votes
1answer
3k views

Why do authors keep defining their own \gtrsim and \lesssim commands?

As the title says my question is: "Why do authors keep defining their own \gtrsim and \lesssim commands?" It happens continuously. Here are the last cases I encountered: \newcommand{\gsim}{\raisebox{...
3
votes
1answer
2k views

Consistent custom equality and subset symbols

I would like to produce a handful of symbols with the following descriptions: A subset (or rather \subseteq) symbol with the extra line replaced by a 'forward' arrow. A similar symbol with a '...
13
votes
5answers
3k views

How to get the \bar over a relation?

When adding a \bar to a relation the spacing around the relation is removed: \documentclass{article} \begin{document} $x > y$ $x \bar{>} y$ \end{document} So, how does one do this correctly?...
3
votes
2answers
77 views

Font-independent custom symbols

I was interested in using a custom symbol. So, I played around with some numbers in a MWE (because it was much faster to compile) before trying it out in my original document. I wound up with the ...
3
votes
2answers
425 views

Center the \not to the letter

I searched but I didn't find anything: does anyone know how to center the \not{A} to the letter instead of typing it a little before?
2
votes
4answers
549 views

What symbol for primitive recursive cutoff minus?

I am using $\overset{.}{-}$ for the primitive recursive function between natural numbers such that $m\overset{.}{-}n$ is m minus n if m>=n and otherwise 0. Is there a better and more canonical ...
9
votes
2answers
761 views

Relational override symbol

Looking for a way to write the following infix binary operator, meaning "relational override":
11
votes
2answers
1k views

LaTeX symbol for the Kulkarni-Nomizu product [duplicate]

I would like to know how to type the symbol of Kulkarni-Nomizu product in LaTeX: I tried to use Detexify, but it does not give me anything.
1
vote
2answers
450 views

How can I vertically align an equals sign in a tikz node?

I want to align an equals sign in a tikz node like in the third node of this picture: \documentclass[border=2mm]{standalone} \usepackage{tikz} \newlength\eqheight \settoheight\eqheight{$=$} \begin{...
1
vote
1answer
180 views

Spacing between relational symbol and number (not used as binary operator)

I would like to use expressions like "< 1 W" in the text to express "less than one Watt". I try to use the siunitx package throughout the whole document to get a consistent look. There is the ...
1
vote
1answer
511 views

Making space after comma larger than the spacing around a binary relation sign

Consider the following code: \RequirePackage{fix-cm} \documentclass[10pt,conference,compsoc,letterpaper]{IEEEtran} \usepackage{amsfonts} \usepackage{amsmath} \newcommand{\Foo}{\mathsf{Foo}} \...
3
votes
1answer
325 views

How can I adjust the height of \cong, \simeq and = to be the same?

Alright, if you write the three symbols \cong \simeq = next to each other (say you are proving in a line that two things are equivalent but there are some equalities and isomorphisms around) the ...
1
vote
1answer
4k views

How to tex $:\iff$ correctly?

In the thread Symbol for "defined to be logically equivalent" (:⇔), we discussed how to tex ":⇔" correctly. As we learnt, the solution is to define the following new command: \newcommand*{\...
1
vote
1answer
571 views

How do I get this Mathematical Symbol in Latex?

I am doing a project report and there is a certain kind of relation that I want to express between two quantities A and B. The relation is something like "A is neither greater than or less than B" (...
4
votes
2answers
4k views

Notation for proper normal subgroup

Is there any easy way to put not-equal sign to any binary operation symbol like \triangleright etc. For example, I want to use it for a proper normal subgroup. If found one solution for \lhd but it ...
6
votes
1answer
520 views

\typecolon is a \mathbin; it should be \mathrel

In unimath-symbols.pdf, the open colon ⦂ (U+02982), called the Z notation type colon, is declared as \mathbin. As far as I know, you use this type colon as demonstrated in the following example. The ...
4
votes
2answers
1k views

How to generate a smaller \sim with respect to text

When I use \sim I get: Is there a way to make the \sim sign smaller with respect to the text? I looked online but did not find what I was looking for. Thanks.
1
vote
1answer
1k views

Different appearance of the `sim' in \sim and \succsim

I have to write a LaTeX document using a particular style using the preamble below. When I use binary relation \sim, it looks very different (much flatter) than the corresponding part of \succsim. ...
1
vote
0answers
168 views

The \not operator and relation R [duplicate]

I am using letter R for notation for my relation. I have to use the wRw notation. My problem is that I can't write \not R as I would like to. So I would like to write that, let's say a,b are not in ...
4
votes
1answer
214 views

a \frac{}{} with knobs

What definition code gives mathematics mode output that looks like this? Often \(A\) | \(B\) inline, and \[\frac{A}{B}\] in display mode, is the notation for ``A if and only if B''. If A \cirf B ...
2
votes
1answer
466 views

Strict conditional symbol without changing the default font?

Here is how to define \strictif as the strict conditional ⥽ from modal logic. \documentclass{article} \usepackage{lipsum} \usepackage{pxfonts} \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \...
5
votes
2answers
386 views

How to create a custom relation symbol with letters on top and below

How would you create the following relation symbol? My current solution: So far I've found a code which puts a letter on top of the \vdash symbol. But it's not exactly what I want: \documentclass{...
3
votes
1answer
466 views

Drawing dashed `\subseteq` symbol

I am trying to draw a dashed \subseteq symbol: (in contrast to \not\subseteq or \varsubsetneq and \nsubseteq from the amsfonts package) but having no success. Is there any known way to do this? Also ...
8
votes
5answers
2k views

How do I typeset the c++ increment symbol in LaTeX?

How can I typeset the increment "+=" symbol? It should act as a relation (like =), but should not have extra space between the "+" and "=".
1
vote
5answers
609 views

The Distinct symbols [duplicate]

How do I write the symbol x cross in LaTeX. I want the x with a line across the centre point of X. I searched the internet but couldn't get it. This is a picture of the symbol
20
votes
2answers
2k views

is there a way to write −= as one symbol in formulas

In programming -=, += and other similar operators are quite popular. But I am unable to write such operator nicely in Latex equations. For example when I use x += \frac{\partial C}{\partial x} I get ...