Results for “logic notation”
67 symbols found · Click to copy
⩕Two Intersecting Logical And⋎Curly Logical Or⊬Does Not Prove⩞Logical And With Double Overbar⩜Logical And With Horizontal Dash∀For All∃There Exists∧Logical And≍Equivalent To≔Colon Equals≢Not Identical To≯Not Greater-than≴Neither Less-than Nor Equivalent To≻Succeeds≼Precedes Or Equal To≾Precedes Or Equivalent To⊀Does Not Precede⊁Does Not Succeed⊂Subset Of⊉Neither A Superset Of Nor Equal To⊑Square Image Of Or Equal To⊢Right Tack⊥Up Tack⊦Assertion⊧Models⊩Forces⊭Not True⊯Negated Double Vertical Bar Double Right Turnstile⊱Succeeds Under Relation⊼Nand⊽Nor⋀N-ary Logical And⋁N-ary Logical Or⋏Curly Logical And⋩Succeeds But Not Equivalent To⋭Does Not Contain As Normal Subgroup Or Equal⟇Or With Dot Inside⟎Squared Logical And⟏Squared Logical Or⟑And With Dot⦊Z Notation Right Binding Bracket⦳Empty Set With Right Arrow Above⧤Equals Sign And Slanted Parallel With Tilde Above⨇Two Logical And Operator⨈Two Logical Or Operator⩀Intersection With Dot⩃Intersection With Overbar⩄Intersection With Logical And⩑Logical And With Dot Above⩒Logical Or With Dot Above⩓Double Logical And⩔Double Logical Or⩗Sloping Large Or⩙Logical Or Overlapping Logical And⩚Logical And With Middle Stem⩛Logical Or With Middle Stem⩠Logical And With Double Underbar⩢Logical Or With Double Overbar⩣Logical Or With Double Underbar⪡Double Nested Less-than⪩Greater-than Closed By Curve Above Slanted Equal⪯Precedes Above Single-line Equals Sign⪵Precedes Above Not Equal To⫒Closed Superset Or Equal To⫢Vertical Bar Triple Right Turnstile⫣Double Vertical Bar Left Turnstile⫬Double Stroke Not Sign