Logic notation
How to Type Therefore and Because Symbols
Type and use the therefore and because symbols in Word, Windows, macOS, HTML, Unicode, and LaTeX without confusing their logical roles.
Read guidePrimary topic hub
Discrete Mathematics, Graph Theory, and Number Theory Guides
Use notation for sets, logic, graphs, recurrences, combinatorics, divisibility, primes, and discrete proofs without mixing incompatible conventions.
Focused guides
2 indexed guides
These pages each serve a distinct task and pass the source, specificity, and duplication gates.
Set theory
How to Type the Subset Symbol
Type and distinguish subset, proper subset, and subset-or-equal symbols across common platforms.
Read guideBrowse 18 supporting references
These pages answer narrower notation questions and link back to this hub; they are intentionally noindex to reduce cannibalization.
Graph Theory
Adjacency Matrices and Graph Notation
Connect graph edges with matrix entries, row sums, directed degrees, weights, and spectral calculations.
Read guideCombinatorics
Combinatorics: Common Errors and Verification
Common Errors and Verification for combinatorics: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideCombinatorics
Combinatorics: LaTeX Formatting Guide
LaTeX Formatting Guide for combinatorics: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideCombinatorics
Combinatorics: Notation Reference
Notation Reference for combinatorics: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideDiscrete Mathematics
Generating Functions Guide
Translate sequences into ordinary or exponential generating functions.
Read guideGraph Theory
Graph Theory Notation Guide
Read vertex, edge, path, cycle, degree, neighborhood, adjacency, and induced-subgraph notation consistently.
Read guideGraph Theory
Graph Theory: Common Errors and Verification
Common Errors and Verification for graph theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideGraph Theory
Graph Theory: LaTeX Formatting Guide
LaTeX Formatting Guide for graph theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideGraph Theory
Graph Theory: Notation Reference
Notation Reference for graph theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideDiscrete Mathematics
Inclusion–Exclusion Principle
Apply inclusion–exclusion to two, three, and many finite sets.
Read guideNumber Theory
Number Theory: Common Errors and Verification
Common Errors and Verification for number theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideNumber Theory
Number Theory: LaTeX Formatting Guide
LaTeX Formatting Guide for number theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideNumber Theory
Number Theory: Notation Reference
Notation Reference for number theory: write, format, verify, and publish clear definitions, assumptions, examples, accessible markup, and portable notation.
Read guideDiscrete Mathematics
Pigeonhole Principle Notation
State finite counting assumptions and ceiling/floor bounds clearly.
Read guideDiscrete Mathematics
Recurrence Relation Notation
Define initial conditions, indexes, characteristic equations, and asymptotic solutions.
Read guideSet theory
Set-Builder Notation Explained
Write sets by describing element conditions, choose a separator, and distinguish membership from subset relations.
Read guideGraph Theory
Shortest-Path and Distance Notation
Define path length, weighted distance, infinity for unreachable vertices, and predecessor information clearly.
Read guideGraph Theory
Tree and Forest Notation
Distinguish roots, parents, children, leaves, depth, height, subtrees, and components in tree-based arguments.
Read guide