---
title: "Implies mathematical notation"
description: "Implies is a recurring research-paper notation family. States that whenever the proposition on the left is true, the proposition on the right must be true."
canonical_url: "https://fanout.sh/labs/math-decoder/symbol/implies"
md_url: "https://fanout.sh/labs/math-decoder/symbol/implies.md"
last_updated: "2026-08-09"
access: "public"
---

# Implies mathematical notation

Implies is a recurring research-paper notation family. States that whenever the proposition on the left is true, the proposition on the right must be true.

## Public overview

Implies: States that whenever the proposition on the left is true, the proposition on the right must be true. Example: Every value above two is also above one.

---
This representation contains public Fanout content only. Protected Pro lessons, account data, billing, checkout, and pricing are not included.

Browse the public content map: https://fanout.sh/sitemap.md