# List of Negated Binary Relations Symbols in LaTeX

In LaTeX, the negated binary relations symbols are used to express the negation or negated version of common binary operations. These symbols are essentials in mathematical logic, set, theory and other mathematical context to represent relationships between elements.

The list of commonly used negated binary relations symbols in LaTeX are given below.

Symbol | LaTeX Command | Description |
---|---|---|

≁ | \ncong | Not congruent to |

≉ | \napprox | Not approximately equal to |

≄ | \nasymp | Not asymptotically equal to |

≇ | \nsim | Not similar to |

≢ | \nequiv | Not equivalent to |

≭ | \nlessgtr | Not less/greater than |

≯ | \ngtrless | Not greater/less than |

≱ | \ngeqslant | Not greater than or equal to |

≰ | \nleqslant | Not less than or equal to |

⊀ | \nprec | Not precedes |

⊁ | \nsucc | Not succeeds |

⊄ | \nsubset | Not a subset of |

⊅ | \nsupset | Not a superset of |

⊈ | \nsubseteq | Not a subset of or equal to |

⊉ | \nsupseteq | Not a superset of or equal to |

⊬ | \nvdash | Does not imply |

⊭ | \nvDash | Not models |

⊮ | \nVdash | Not forces |

⊯ | \nVDash | Not triple bar |

⊮ | \ntriangleleft | Does not contain as left member |

⊯ | \ntriangleright | Does not contain as right member |

⋠ | \nprec | Not precedes |

⋡ | \nsucc | Not succeeds |

⋢ | \npreceq | Not precedes or equals |

⋣ | \nsucceq | Not succeeds or equals |

⋦ | \nsubseteq | Not subset or equal |

⋧ | \nsupseteq | Not superset or equal |

⋨ | \nsubseteq | Not subset or equal |

⋩ | \nsupseteq | Not superset or equal |