# Tagged Questions

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

126 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" (...
39 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 ...
3k 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, I'...
113 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 ...
20k 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}. \...
5k views

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 ...
115 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.
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 ...
102 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. ...
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| ...
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 ...
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 ...
120 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} \...
51k 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 ...
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, ...
132 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{...
50 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? ...
493 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 "=".
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 ...
156 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
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 ...
20k 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.
117 views

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} & ...
6k views