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

learn more… | top users | synonyms

5
votes
1answer
106 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 ...
3
votes
2answers
108 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
87 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
19 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 ...
3
votes
1answer
75 views

a \frac{}{} with knobs

I would like to create a variation of iff (A|B or \frac{A}{B}), say A \cirf B and \fric{A}{B} for if of the kind below. It can be done in tikz however that won't scale with the arguments in size, ...
3
votes
1answer
119 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} \...
6
votes
2answers
124 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{...
2
votes
1answer
48 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? ...
5
votes
5answers
463 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
153 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
1k 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 ...
6
votes
2answers
117 views

Slight misalignment using hphantom equals sign in align

I am attempting to align the integral signs precisely, whilst still retaining the correct spacing around the equals signs. Why doesn't the following code get it exactly right? \begin{align} & ...
3
votes
2answers
195 views

How to get \trianglelefteq similar to \leqslant?

I find \leqslant command producing nicer output then \leq. For the ideal/normal subgroup symbol, however, one has \trianglelefteq (or \unlhd), but no slant version. The mathabx package changes the \...
4
votes
2answers
120 views

Oriented harpoon equality

I would like to use a symbol that looks like an equality symbol, but with one arrow on one of the sides of the lines that indicates an orientation. (for instance when manipulating possibly undefined ...
3
votes
2answers
236 views

Precedes Or Not Equal To Symbol

This question is related to Element of or Equal To Symbol and Creating a \precneq symbol. From those pages, I learned about the mathabx package and its \precneq symbol. However I noticed that it uses ...
4
votes
1answer
143 views

Create a new symbol

First of all, I want to say I am a complete layman, so I apologize in advance for the lack of specific terminology or even if I am asking in the wrong place. I am looking for a character, which most ...
1
vote
2answers
233 views

Subscript and superscript for arbitrary symbols in plain TeX

I am trying to obtain a black square with a subscript and a superscript in plain TeX. So far I managed to create $\buildrel abc \over\square$. I could easily use nested \buildrels to achieve the ...
1
vote
0answers
39 views

Not much greater than sign [duplicate]

I am trying to make the negation of the $\gg$ sign in latex. I believe that it exists since It is on my homework sheet that appears to be typed in latex. I tried to draw the sign in detexify, but it ...
2
votes
0answers
37 views

Changing the type of a symbol

Consider the output of texdef -t latex \flat \flat: \mathchar"15B \the\flat: 347 I'd like to save the \flat command and then redefine it to work as binary symbol, for example, the same space ...
11
votes
3answers
2k views

Symbol for “defined to be logically equivalent” (:⇔)

Is there a way to typeset the symbol ":⇔" correctly in LaTeX (i.e. with the right alignment and spacing)? I know that using :\Leftrightarrow or :\Longleftrightarrow gets me the symbol I'm looking for ...
2
votes
1answer
156 views

Bounded modulo a constant [duplicate]

How do I put a tilde directly underneath an inequality (i.e. directly beneath < or >)?
24
votes
3answers
1k views

How to write ≙ in latex

I want to use unicode character 2259 "estimates" in my document, but cannot find it in the symbols-a4 list or via detexify. It looks exactly like this: ≙ The closest I get is \triangleq: ≜, but it ...
4
votes
2answers
883 views

LaTeX symbol for “divides precisely”

I sometimes need to write that a certain prime p^k precisely divides a number n, meaning that p^k | m but it is not the case that p^{k+1} | m. It is often written as: p^k || m, where the symbol in the ...
1
vote
1answer
3k views

LaTeX code for text above the $\rightarrow$

Hi I am wondering what code is used to get text above the $\rightarrow$ have tried $ \xrightarrow{P}$ but not running on my LaTeX as I do not know which package to install or how to install it. ...
2
votes
1answer
121 views

How to generate charts with arrows?

Recently, I discovered LaTeX and started working with it. Currently, I´m able to create simple summaries, etc. with formulas, lists, etc. Although LaTeX is still really new for me. Anyway, now I would ...
1
vote
0answers
26 views

Text over symbols, but with adjusting width ( something like \stackrel{#1}{#2} but with same size) [duplicate]

I would like to write something above equation sign. One may do it with \stack{#1}{#2} command and it works fine if #1 and #2 are the same length, example: $\stackrel{(3)}{=}$ will result in ...
5
votes
2answers
243 views

Create longer arrows

I currently use two relation symbols as shown below. However, as I need to put in quite a bit of information above and, in the first case, also below the arrow, I'd like to have longer arrows. In my ...
9
votes
2answers
5k views

Not independent Sign in Latex

I want to do the not independent sign in latex without having to install or define new commands (since I am using latexIT and I cannot load new packages). Currently I use the following sign for ...
3
votes
1answer
338 views

How to print \upharpoonright?

When I run pdflatex twice on my LaTeX file, the command \upharpoonright does not print the harpoon. Could you let me know how to fix this. I use this command $ S(T)\upharpoonright D^{i}_{l} $.
2
votes
2answers
4k 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 ...
7
votes
2answers
5k 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 ...
4
votes
2answers
6k 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 ...
8
votes
1answer
152 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
592 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these? Thank you
9
votes
4answers
19k 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}. \...
9
votes
3answers
808 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 ...
14
votes
2answers
3k 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 ...
8
votes
3answers
1k 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.
24
votes
2answers
7k 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| ...
8
votes
1answer
886 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 \...
5
votes
1answer
887 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
1k 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 ...
26
votes
3answers
443k 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 ...
9
votes
1answer
2k 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 ...
5
votes
1answer
2k 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: \(\...
4
votes
2answers
559 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
2k 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 ...
0
votes
1answer
117 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 strings".
2
votes
2answers
614 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: =||=
13
votes
2answers
7k 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?