Inductive step mathematical notation

Inductive step is a recurring research-paper notation family. Shows that whenever the proposition holds at an arbitrary valid index, it must also hold at the next index.

Inductive step: Shows that whenever the proposition holds at an arbitrary valid index, it must also hold at the next index. Example: Prove that each established case carries the claim to its successor.