Chop Logic Core - v1.4.0
    Preparing search index...

    Enumeration GlyphUnicode

    Unicode representations of logical symbols. Maps logical operators to their proper Unicode characters.

    Index

    Enumeration Members

    Implication ReversedImplication Conjunction Disjunction Negation Equivalence ExclusiveConjunction ShefferStroke WebbOperation AntiImplication ReversedAntiImplication Contradiction Tautology OpenParenthesis CloseParenthesis

    Enumeration Members

    Implication: "→"

    Implication (→)

    ReversedImplication: "←"

    Reversed implication (←)

    Conjunction: "∧"

    Conjunction (∧)

    Disjunction: "∨"

    Disjunction (∨)

    Negation: "¬"

    Negation (¬)

    Equivalence: "≡"

    Equivalence (≡)

    ExclusiveConjunction: "⊕"

    Exclusive disjunction (⊕)

    ShefferStroke: "↑"

    Sheffer stroke (↑)

    WebbOperation: "↓"

    Webb operation (↓)

    AntiImplication: "↛"

    Anti-implication (↛)

    ReversedAntiImplication: "↚"

    Reversed anti-implication (↚)

    Contradiction: "⊥"

    Contradiction (⊥)

    Tautology: "⊤"

    Tautology (⊤)

    OpenParenthesis: "("

    Opening parenthesis

    CloseParenthesis: ")"

    Closing parenthesis

    Settings

    Member Visibility

    On This Page

    Enumeration Members