mathematical expression that may form a separable part of an equation, a series, or another expression; used in in mathematical logic, universal algebra, and rewriting systems
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).