Braces over and under a formula
