# Tagged Questions

413 views

### Looking for a specific symbol used in set theory, can't find on detexify

I'm looking for a specific symbol for typesetting my lecture notes in logic and set theory. The character is used to define a new set from two existing sets alpha and beta (which are ordinals): ...
274 views

### Designing a new tuple of Algebra Operators

It's neccessary to have at least two extra tuples of Albera Operators. A minimal tuple is a triple (to_be_subset_eq, meet_operator, join_operator). There are some ideas how to make 2 extra tupes. ...
226 views

### Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these? Thank you
270 views

### Space that disappears at the edges (beginning/end) of a math formula

Is there a way to produce a space that disappears at the beginning or end of a math formula? Idea: For the formula-final case, something that looks ahead or takes an obligatory argument might be a ...
198 views

### Logical equivalence vDashv

I need to create a symbol logical equivalence. Contact vDash with appropriate vertical line, but I can not find any. Can you advise?
147 views

### Strange alignment when using tilde as the not operator in logic

I wish to use ~ which has latex symbol: \sim for the negation sign in logic. \sim and \neg are the two most frequent symbols for negation in logic. However, I get a strange looking result if I use ...
6k views

### latex symbol for “if and only if” [duplicate]

In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
677 views

### What command to use for reversed $\vDash$?

I want to use a symbol similar to $\vDash$ but reversed (like if it's mirrored against an imaginary vertical line). I cannot find such a symbol anywhere. I have used detexify too but no luck ...
164 views

### How do I get the single turnstyle symbol? [duplicate]

I am trying to replicate a logic symbol that looks like \models but has only one horizontal line, and represents a logical deduction. It looks roughly like |-. I have tried Detexify, but it does not ...
827 views

### What is the LaTeX symbol for “forking independent” (model theory)?

I am looking for a way to set the symbol for "forking independent" (for example, see "Essential Stability Theory", Steven Buechler, p.217). It looks a bit like an anchor or an upside-down 'T' with a ...
616 views

### negated double turnstile

I'm new to the turnstile package, and I'm trying to figure out how to get a negated double turnstile sign, like the one with the regular \nvDash, but that allows me to have arguments above and below ...