nshortmid
Represents a negated short vertical bar relation symbol used in mathematical notation to indicate a specific type of non-relationship between elements.
Overview
Serves as a specialized mathematical relation symbol primarily used in advanced mathematical proofs and formal logic to denote negated relationships.
- Common in abstract algebra and set theory for expressing non-relationships between elements
- Often appears alongside other relation symbols in formal mathematical writing
- Particularly useful in contexts where standard-length negated mid symbols are too visually dominant
- Provides a more compact alternative to the regular negated mid symbol
Examples
Showing that two events A and B are not conditionally independent in probability theory.
P(A|B) \nshortmid P(A)Expressing non-independence between random variables X and Y in statistics.
X \nshortmid YDenoting that two algebraic elements are not relatively prime.
a \nshortmid b