Logical and mathematical notation
Logical and is a recurring research-paper notation family. Combines propositions into a statement that is true only when every included proposition is true.
Logical and: Combines propositions into a statement that is true only when every included proposition is true. Example: Both bounds must hold simultaneously.