11
votes
3answers
415 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): ...
7
votes
3answers
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. ...
10
votes
2answers
226 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Ɓukasiewicz conjunction like these? Thank you
8
votes
2answers
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 ...
4
votes
2answers
200 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?
4
votes
1answer
148 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 ...
2
votes
3answers
6k views

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

In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
6
votes
3answers
678 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 ...
0
votes
1answer
165 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 ...
19
votes
5answers
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 ...
4
votes
1answer
618 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 ...
15
votes
1answer
621 views

Double-nested logical-and and logical-or symbols?

I'm typesetting a bunch of source code, and I really like the way the double-nested logical-and and logical-or symbols look for denoting bitwise logical and/or. Unfortunately, LaTeX doesn't seem to ...
9
votes
2answers
2k views

How to get monospace logic formulas?

The following does not work in LaTeX because logic symbols can only be used in maths mode: \texttt{\forall x(\exists y((f(x)=y)\land(\neg(g(y)=y))))} I want to do this to stress the nature of such ...