{relation-symbols} are those {symbols} that denote relations (e.g., =,

learn more… | top users | synonyms

0
votes
1answer
83 views

What is the TeX/LaTeX symbol for subgroup (not normal subgroup)?

We all love normal subgroups, and in searching the web for the answer to my question I've found plenty of resources for ways to indicate normal subgroups. That's not what I'm looking for. When one ...
6
votes
2answers
388 views

Slanted greater than and equal to, less than and equal to

Need to produce a "Greater than" or "Equal to" symbol with a slanted equal component of the symbol, i.e. the bottom bar not parallel to the typed line, but parallel to the bottom bar of the right ...
19
votes
4answers
66k views

Not equal sign (≠) with a vertical bar

Is it possible to get a \neq but with a vertical bar instead of a slanted one? There are inequality operators like AMS's \gvertneqq that feature this kind of "not equal" but not without mixing it with ...
1
vote
2answers
54 views

Delta-equal to symbol [duplicate]

How do you write the equal-to symbol with delta on top ("delta-equal to")? One similar to http://www.decodeunicode.org/de/u+225c. Are special packages required for that? It is supposed to be used for ...
35
votes
6answers
3k views

\subseteq + \circ as a single symbol (“open subset”)

I'm trying to create symbols \opn for "open subset" and \cls "closed subset". I want them to look like this: My current solution is: ...
8
votes
2answers
3k views

Why is \mid so called?

The LaTeX commands \mid and \vert may be used to make a vertical bar. I can appreciate that \vert is short for vertical, but why \mid? Is it short for middle? and if so, middle of what?
8
votes
1answer
117 views

Is there a better way to “absorb” the subscript than this \@ifnextchar-hackery?

In this example document, I want to make a math relation called R which gets typeset as R^X, but as a math relation. But I want to maybe be able to subscript it. The macro \myRbad looks okay without ...
10
votes
2answers
191 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these? Thank you
24
votes
4answers
2k views

How to get a good “divisible by” symbol?

In addition to the "divides" relation, denoted b | a, there is also a "divisible by" relation expressing the converse (a is divisible by b), often designated with three vertical dots. Up until now, ...
0
votes
0answers
303 views

How to put therefore and implies symbols

\documentclass{article} \usepackage{graphicx} \begin{document} \vspace{\baselineskip}\noindent \textbf{THEOREM :} If an operator has both Left Identity and Right Identity then it is \emph{UNIQUE}. ...
24
votes
5answers
4k views

Is there a wider equal sign?

I have defined the equal by definition sign: with this code: \newcommand{\eqdef}{\overset{def}{=}}. However, "def" extends over the edges of the equal sign. Is there a wider equal sign to use?
9
votes
3answers
417 views

How do I typeset a chemical reaction equation? I want to have a long “=”

I am new to LaTeX. I searched ctan.org, but didn't find what I want. I want to typeset a chemical reaction equation. The = mark seems too short. I need a long one. I tried to add an option 2cm to get ...
9
votes
2answers
457 views

Is there a difference between \bot and \perp, when they are used in exponent?

I am used to write $M^\bot$ for the orthogonal complement of the set M. Is this incorrect? I have seen this question, the answer there says that these two symbols have different spacing. (One of ...
13
votes
2answers
864 views

divides, not divides and cardinalities

In group theory it happens very often that you want to say: "The order of $H$ divides / does not divide the order of $G$." But the length of | is then always the same: $ |H| | |G| $ produces |H|||G| ...
5
votes
1answer
820 views

What is a good method for producing a unary plus/minus sign that always works?

Say I have a macro that does something in math mode (say, change the mathalphabet). This macro, \somecommand, takes one argument. I might want use is like this, feeding an empty argument into it: ...
8
votes
3answers
288 views

How to write a pretty \not \varepsilon

How can I write a pretty \not\varepsilon? I want something like \notin, since I use \varepsilon as a relation symbol like \in.
8
votes
1answer
144 views

a ∣ b and a ∤ b in formulas

What is the correct way, both semantically and typographically, to typeset a ∣ b and a ∤ b (read “a divides b” and ”a does not divide b”)? I guess I could simply type | (vertical bar, U+007C) or ...
4
votes
1answer
203 views

Increase the space between operator in subscript/superscript

I need to increase the space globally between operators in subscripts/superscripts. Example: \sum_{x=4} I need a little more space before and after the = symbol in the subscript. It is required ...
29
votes
3answers
806 views

New relation symbol

I am defining a new relation in one of my new papers. I want to use the following symbol, because it conveys the meaning of my relation. Is there such a symbol in LaTex ? It is very similar to \leq ...
6
votes
1answer
466 views

Difference of perp and bot

I saw in math.stackexchange that someone uses \perp for what I always use \bot. In XeLaTeX: lost \perp in Cambria math? it says that they are two different symbols, do they just look the same? I ...
27
votes
5answers
10k views

What's a good way to write “x does not divide y”?

The way I currently do it is $x \not | y$, which looks awful. There's got to be something better available.
61
votes
8answers
12k views

How to typeset $:=$ correctly?

I like to use $:=$ for "is defined to be equal to", but this is never typeset with the symmetry one would like, as the colon is always too low relatively to the equals sign. Is there any way of ...
5
votes
2answers
940 views

Relation spacing error using =& in aligned equations

The middle equation in the following example seems to have wrong spacing around the = sign. The only difference is that I used =& for aligning around the = sign rather than &=. This worries ...
4
votes
2answers
249 views

Output a relational symbol on LaTeX (precedes under relation, ⊰)

I'm trying to output this character on LaTeX: ⊰ (click here if you can't see it) The more I search and read the more confused I am. At this point I am clueless. Supposedly the command is \prurel, ...
10
votes
4answers
462 views

What is a simple way to create a binary relation symbol on top of another?

What is a simple way to have \ll on top of \gg with equal size and vertically center aligned and have them work as a binary relation symbol like \lessgtr? The commands \underset and \overset cannot be ...
10
votes
4answers
13k views

LaTeX symbol for “does not divide”

What is the correct way to make the "does not divide" symbol in plain LaTeX 2e? I'm talking about the symbol that is a vertical bar with a slash through it. I prefer not to install AMS or other ...
4
votes
2answers
9k views

Symbol about not orthogonality in LaTeX

I found this post, which explains orthogonal and not orthogonal symbols. I was able quickly to find the orthogonal symbols as \perp, \upvdash etc., but not able to find a top line which strikes the ...
2
votes
2answers
324 views

$\models$ vice-versa as semantically equivalent

How to get the $\models$-symbol vice-versa to form a symbol for semantically equivalent like the following: =||=
25
votes
4answers
27k views

Typesetting the “define equals” symbol

I'd like to typeset two compound symbols for making definitions. The following \newcommand{\defeq}{\mathrel{\mathop:}=} \newcommand{\eqdef}{\mathrel{\mathop=}:} are suggested by the CTAN symbol ...
0
votes
1answer
102 views

relational symbol for “the same strings” [duplicate]

Possible Duplicate: How to look up a symbol? How to get the following relational symbol in the attached image? It's an altered equal-sign and is used by our tutor to denote "the same ...
14
votes
4answers
8k views

A better \pm symbol

I am looking for an alternate to the \pm symbol, and wondering if I am the only one bothered by it as I see that this has not been asked yet. I have attempted to define one using my standard ...
5
votes
0answers
173 views

Alternate “colon equals” sign [duplicate]

Possible Duplicate: How to typeset $:=$ correctly? One of the first math books I read used "A := B" to mean "A is defined to be B". In the font used in that book, the upper dot of the ...
12
votes
2answers
481 views

Symbol for skeptical consequence that matches the turnstile package

This might be seen as a follow up to Symbol for skeptical consequence. From it I got answers so that I could write that B is a skeptical consequence of A such as which Peter Grill's code produces. ...
3
votes
2answers
1k views

Easy way to type more kinds of arrows?

There is \rightrightarrows to produce two parallel arrows, \longrightarrow to produce a longer arrow and \xrightarrow to produce an extendable arrow. But is there an easy way to produce two long ...